무정의 용어

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

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

같이 보기[편집]