[일반] 괴델이 발견한게 참이며 증명불가능한 명제가 존재한단거잔슴

[익명(220.70)]

그럼 그런 명제가 증명불가능함을 증명할 수는 있음??

[몽키세계어(thecoqproofassistant)]

1. 논리학 책을 편다.

[익명(220.70)]

ㅠㅠ.... 저거 하나 알겠다고 책 한권 통으로 보기엔 너무 두려운걸... 알려주면 안됨?

[익명(175.223)]

ㄴㄴ 대신 참인지거짓인진 모르지만 증명불가능하단걸 증명할수 있는 명제는 있음