쿠쿠리 [1310649] · MS 2024 · 쪽지

2024-09-30 12:25:20
조회수 1,429

불완전성 정리가 틀린이유

게시글 주소: https://spica.orbi.kr/00069328218

G : "G는 증명불가능"


G에따라


1. G가 거짓<->G는 증명가능


1이 모순이라서 1이 거짓


따라서 2가 참


2. G가 참<->G는 증명불가능


그런데 1의 대우명제가 2임


2가 참이므로 1도 참이어야함



1이 거짓인데 참인 모순

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.