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

2024-12-15 21:38:49
조회수 603

또다른 저의 전설적 정리를 보십시오

게시글 주소: https://roomie.orbi.kr/00070612227

모순<->(A and not A)<->거짓


모순<->거짓


무모순<->참


---------------------------------


공리는 참이라는 증명이 없다


따라서 귀류법 증명도 없다


따라서 공리를 부정하면 "무모순"이다


---------------------------------


위 둘 을 연결하면,


"공리를 부정하면 참이다"

0 XDK (+0)

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