무정의 용어

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

무정의 용어또는 근본 원리(Primitive notion)는 정의 없이 사용하는 용어이다. 공리적 집합론에서는 집합도 무정의 용어이다. 소박한 집합론에서는 공집합이 무정의용어이다.페아노 공리계에서는 0이 무정의용어이다. 다비트 힐베르트가 만든 힐베르트 공리계에서는 ,직선,평면 등도 무정의 용어이다.