불완전성 정리 누구나 이해할수 있는 간단요약이

[익명(210.108)]

하나의 공리계 즉 하나의 필드에서 모든걸 다 연산해낼 수는 없다는거맞냐 

[ExHentai.org(nsa15464)]

1. 자연수공리계 포함하는 공리계에서는 증명 불가능한 명제 있음 2. 스스로 참임을 증명할 수 있는 공리계는 모순있음

[익명(211.36)]

1에 대한 예시 직관적으로 이해할만한거 없냐 자연수 공리계는 왜 굳이 언급하는거임? 모든공리계란말 아님?

[익명(211.36)]

2야 순환논증을 예시로 하면 될것같고

[ㅅㄲㅁㅇ(as1392)]

1이 아마 증명과정에 자연수의 성질을 이용하는게 있어서 그럴거임. 완전성원리가 논리계에서 참이면 증명가능하다라는 정리라네.

[ㅅㄲㅁㅇ(as1392)]

1의 예시들로는 선택공리, 연속체가설이 있긴한데 직관적이냐면 음... 사실 그렇게 직관적인 예시가 있었으면 힐베르트 등이 헛다리를 짚지 않았겠지