[과학] 일단 괴델의 불완전성 정리부터 이해하고 와야지

정리1. 자연수의 사칙연산을 포함하는 어떠한 공리계(즉 페아노 공리계를 포함하는 모든 공리계)도 무모순인 동시에 완전할 수 없다. 어떤 체계가 무모순이라면, 그 체계에서는 참이면서도 증명할 수 없는 명제가 존재한다.

정리2. 자연수의 사칙연산을 포함하는 어떠한 공리계가 무모순일 경우, 그 공리계는 자기 자신의 무모순에 대한 정리를 포함할 수 없다.

존나 간단한 정리지만 이해하는데는 뇌에서 거부반응이 올게야 ㅋ.......