제가 공부하다가 괴델의 불완전성 정리 1,2 를 봤거든요 거기서 Dem(n,m) 과 Sub(n,m,y) 라는 두 함수를 이용해서 메타 수학 안에서 증명하더라고요 뭐 괴델수니 하는 것들은...
태그: 괴델의정리, 불완전성정리, 메타수학, 공리계, 수학, 대학수학, 증명, 공리, 거짓말쟁이의역설, 도와줘요
