난 수학을 파괴하겠다
게시글 주소: https://orbi.kr/00071952686
위 링크를 참고해서 결론내린게
참=증명있음
거짓=증명없음
--------------------------------------
공리=증명없음
공리=거짓
p=거짓
"p->(모든명제)"=참
거짓인 공리p로 부터 모든명제가 증명가능
만약 공리=참 이라면 공리=증명있음 이 되어야함
그런데 공리는 증명이 없음, 이는 모순
따라서 공리=참 이라는 전제가 거짓
따라서 공리는 거짓
또
위에서
참=증명있음
이라고 했으므로
"p->(모든명제)" 이건 p로 모든명제를 증명한 "증명"임, 따라서 모든명제가 증명이 있다
증명있음=참이므로
모든명제는 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅈㄱㄴ
-
원신 무과금 개빡세네 8 0
이번에 푸리나 있다고 해서 박박 긁어 모아도 겁나 안모이네 이래서 현질하는구나
-
솔직히 술은 혼술이 젤 맛있음 4 0
뭔가 젤 낭만 있음
-
3년묶일 생각하니 아찔하누..
-
오늘먹은거 4 1
다이어트 조짐
-
하 쫄린다 0 0
1차 발표났는데 예상보다 안 빠져서 심란해짐 좀 더 빠졋으면 좋았을텐데
-
어느덧 시간은 7시 반~ 0 0
벌써 저기에 뜬 일등성~
-
n티켓 수1 0 0
수1 개념은 다 알고 쎈도 내신 준비 할때 한번 풀어봤는데 n티켓이 나을까요 아니면...
-
012 더웃긴건 2승함
-
기다릴게요~ 0 0
난 그대여야만 하죠~~ 연대추합 제발 제발 제발 제발 주여...
-
서강 경영 0 0
1차는 40명 빠진거같은데 2차는 20명 이상 빠질까요
-
정시 추합 질문좀 0 0
만약에 홈피 들어가서 추합 발표나면 그냥 등록금만 납부하면 등록인정 되는건가요?
-
서강 조발 나왔어요 0 0
ㄱㄱ
-
내인생최대업적 6 1
일듯. 25학번에서 못 벗어날거같은 강한 불길함이 든다.
첫번째 댓글의 주인공이 되어보세요.