논리학의 기초: 증명, 명제, 공리

증명

- 증명은 특정한 공리들을 가정하고, 그 가정 하에 어떤 명제가 참이라는 것을 보여주는 것

 

명제

- 논리학적으로 뜻이 분명한 문장을 말하며, '참' 혹은 '거짓'임을 검증할 수 있는 '객관적 사태'가 포함된 문장

 

공리

- 논리학이나 수학 등의 이론체계에서 가장 기초적인 근거가 되는 명제.

- 증명할 필요 없이 자명한 진리이자 다른 명제들을 증명하는 데 전제가 되는 원리로 가장 기본적인 가정

- 지식이 참된 것이 되기 위해서는 근거가 필요하나 근거를 소급해 보면 더이상 증명하기 곤란한 명제에 다다르는데 이것이 공리