난 수학을 파괴하겠다
위 링크를 참고해서 결론내린게
참=증명있음
거짓=증명없음
--------------------------------------
공리=증명없음
공리=거짓
p=거짓
"p->(모든명제)"=참
거짓인 공리p로 부터 모든명제가 증명가능
만약 공리=참 이라면 공리=증명있음 이 되어야함
그런데 공리는 증명이 없음, 이는 모순
따라서 공리=참 이라는 전제가 거짓
따라서 공리는 거짓
또
위에서
참=증명있음
이라고 했으므로
"p->(모든명제)" 이건 p로 모든명제를 증명한 "증명"임, 따라서 모든명제가 증명이 있다
증명있음=참이므로
모든명제는 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
첫번째 댓글의 주인공이 되어보세요.