난 수학을 파괴하겠다
게시글 주소: https://orbi.kr/00071952686
위 링크를 참고해서 결론내린게
참=증명있음
거짓=증명없음
--------------------------------------
공리=증명없음
공리=거짓
p=거짓
"p->(모든명제)"=참
거짓인 공리p로 부터 모든명제가 증명가능
만약 공리=참 이라면 공리=증명있음 이 되어야함
그런데 공리는 증명이 없음, 이는 모순
따라서 공리=참 이라는 전제가 거짓
따라서 공리는 거짓
또
위에서
참=증명있음
이라고 했으므로
"p->(모든명제)" 이건 p로 모든명제를 증명한 "증명"임, 따라서 모든명제가 증명이 있다
증명있음=참이므로
모든명제는 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
옯붕이들 굿밤 1
오늘도 수고했어요~
-
귀여워 4
-
선결론: 유대종이나 김동욱 일단 티처스에 나올 가능성이 있는 강사들 명단은 대충...
-
나 락 1
에휴이
-
누가 이렇게 들어오는거임?? 267명이나 ㄷㄷ
-
빙고 추천점 4
심심함
-
다른 직업(주부도 포함) 있는거 아니면 N수 하지 마세요 4
나이, 젊음 다 자산입니다.
-
-
ㅇㅇ
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
화작이너 독서같은 긴글을 읽을때 보통 어떻게 읽으심? 나는 속으로 읽으면서 푸는데...
-
안뽑히면 좀 킹받을듯.. ㄹㅇ
-
대체 여기서 존나 선동하면서 가입일 15년전 이런새끼들은 뭐임? 40
어떤 특정 학과나 직업같은거에 목매여서 계속 까거나 찬양하고 그러거나 정치글이나...
-
나오라고
첫번째 댓글의 주인공이 되어보세요.