Gödel’s incompleteness theorem


1차 논리에서 증명 가능한 명제의 집합은 모형을 갖는다는 정리
수리논리학
즉, 증명 이론으로 정의한 진리와 모형 이론으로 정의한 진리가 서로 일치
을 피하기 위해 아무리 세심하게 공리계를 설계해도 그것을 피할 수는 없다는 것을 증명하였으며, 이것이 불완전성 정리

[2nd Gödel’s incompleteness theorem](https://texonom.com/2nd-gdels-incompleteness-theorem-173d1bd5bdac42448e637253f602a763)




> [Zarathu Blog: 괴델의 불완전성 정리](https://blog.zarathu.com/posts/2019-05-20-godelincompleteness/)

> [괴델의 불완전성 정리](https://jinseob2kim.github.io/godel.html)

> [괴델의 완전성 정리 - 위키백과, 우리 모두의 백과사전](https://ko.wikipedia.org/wiki/%EA%B4%B4%EB%8D%B8%EC%9D%98_%EC%99%84%EC%A0%84%EC%84%B1_%EC%A0%95%EB%A6%AC)

> [당신이 수학을 모르는 이유. (feat. 불완전성의 정리)](https://www.youtube.com/watch?v=oippSXvxUlw)






