또다른 저의 전설적 정리를 보십시오
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
와 쿠쿠리오빠
킹쿠리
감사합니다
음...익숙한 맛
황쿠리
감사합니다
언젠간 세상도 눈을 뜰겁니다
쿠쿠리 교수
눈물이.. 흐르는군요..