무정의 용어
무정의 용어 또는 근본 원리(Primitive notion)는 정의 없이 사용하는 용어이다.
한 용어를 설명하기 위해 다른 용어를 설명하고 거기에 사용된 다른 용어를 사용하게 되면 계속 순환에 빠지게 되므로 정의없이 사용하는 것이 무정의 용어이다.
예
편집공리적 집합론 ZFC에서 집합은 무정의 용어이다. NBG에서 모임은 무정의 용어이며 집합은 무정의 용어가 아니다. (0부터 시작하는) 페아노 공리계에서 0은 무정의용어이다. 다비트 힐베르트가 만든 힐베르트 공리계에서 점·직선·평면은 무정의 용어이다.
같이 보기
편집
|
이 글은 수학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다. |