1. 정의 (Definition)
ㅇ 정확한 의미를 전달하기 위해, 개념의 내용을 한정하여 설명하는, 문장이나 식을 말함
ㅇ (정의의 용도)
- 논의 대상을 보편화시키고, 확실하게 규정하기 위함
. 例) 자연수를 정의하기 위한 페아노 공리
- 어떤 이론의 논리를 정립하기 위해 필요함
- 정리를 증명하는데 유용한 수단으로 쓰여질 수 있음
ㅇ (정의의 형식적 구분)
- 설명 정의 형식
- 밝힌 정의 형식
2. 무정의 용어(Undefined Word) 또는 무정의 술어(Undefined Term)
ㅇ 사실상, 모든 것을 일일이 다 정의할 수 없음
- 통상, 설명이나 다른 정의 없이도 사용 가능한 개념
ㅇ 특히, 집합(Set)은, 굳이 정의하지 않고 사용되는 원시적 개념(무정의 용어)이라고 함
- 집합론 무정의 용어 例) `집합`,`속한다`,`요소가 같다` 등
- 논리학 무정의 용어 例) `문장`,`참`,`거짓` 등
ㅇ 한편, 기하학에서는,
- 점,직선,평면 등은 구체적으로 정의하지 않고서도,
- 상호관계 만을 공리로써 규정하고, 그러한 관계적 개념을 통해서, 이론체계가 수립됨