Definition   정의 (definition)

1. 정의 (Definition)

  ㅇ 정확한 의미를 전달하기 위해, 개념의 내용을 한정하여 설명하는, 문장이나 식을 말함

  ㅇ (정의의 용도)
     - 논의 대상을 보편화시키고, 확실하게 규정하기 위함
        . 例) 자연수를 정의하기 위한 페아노 공리
     - 어떤 이론의 논리를 정립하기 위해 필요함
     - 정리를 증명하는데 유용한 수단으로 쓰여질 수 있음

  ㅇ (정의의 형식적 구분)
     - 설명 정의 형식
     - 밝힌 정의 형식


2. 무정의 용어(Undefined Word) 또는 무정의 술어(Undefined Term)

  ㅇ 사실상, 모든 것을 일일이 다 정의할 수 없음
     - 통상, 설명이나 다른 정의 없이도 사용 가능한 개념

  ㅇ 특히, 집합(Set)은, 굳이 정의하지 않고 사용되는 원시적 개념(무정의 용어)이라고 함
     - 집합론 무정의 용어 例) `집합`,`속한다`,`요소가 같다` 등
     - 논리학 무정의 용어 例) `문장`,`참`,`거짓` 등

  ㅇ 한편, 기하학에서는,
     - 점,직선,평면 등은 구체적으로 정의하지 않고서도, 
     - 상호관계 만을 공리로써 규정하고, 그러한 관계적 개념을 통해서, 이론체계가 수립됨