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