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

2025-02-12 16:33:33
조회수 179

난 수학을 파괴하겠다

게시글 주소: https://video.orbi.kr/00071952686

https://orbi.kr/00071901928 


위 링크를 참고해서 결론내린게


참=증명있음


거짓=증명없음


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


공리=증명없음


공리=거짓


p=거짓


"p->(모든명제)"=참


거짓인 공리p로 부터 모든명제가 증명가능


만약 공리=참 이라면 공리=증명있음 이 되어야함


그런데 공리는 증명이 없음, 이는 모순


따라서 공리=참 이라는 전제가 거짓


따라서 공리는 거짓



위에서 


참=증명있음


이라고 했으므로


"p->(모든명제)" 이건 p로 모든명제를 증명한 "증명"임, 따라서 모든명제가 증명이 있다


증명있음=참이므로


모든명제는 참이다



0 XDK (+0)

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


  • 첫번째 댓글의 주인공이 되어보세요.