난 수학을 파괴하겠다
게시글 주소: https://orbi.kr/00071952686
위 링크를 참고해서 결론내린게
참=증명있음
거짓=증명없음
--------------------------------------
공리=증명없음
공리=거짓
p=거짓
"p->(모든명제)"=참
거짓인 공리p로 부터 모든명제가 증명가능
만약 공리=참 이라면 공리=증명있음 이 되어야함
그런데 공리는 증명이 없음, 이는 모순
따라서 공리=참 이라는 전제가 거짓
따라서 공리는 거짓
또
위에서
참=증명있음
이라고 했으므로
"p->(모든명제)" 이건 p로 모든명제를 증명한 "증명"임, 따라서 모든명제가 증명이 있다
증명있음=참이므로
모든명제는 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
다른 직업(주부도 포함) 있는거 아니면 N수 하지 마세요 4
나이, 젊음 다 자산입니다.
-
-
ㅇㅇ
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
화작이너 독서같은 긴글을 읽을때 보통 어떻게 읽으심? 나는 속으로 읽으면서 푸는데...
-
안뽑히면 좀 킹받을듯.. ㄹㅇ
-
대체 여기서 존나 선동하면서 가입일 15년전 이런새끼들은 뭐임? 40
어떤 특정 학과나 직업같은거에 목매여서 계속 까거나 찬양하고 그러거나 정치글이나...
-
나오라고
-
탐구 선택 팁 3
사탐- 올해 변수가 너무 많음 1과목: ... 2과목: 모두 2과목 합니다~~~
-
학고반수 조언 3
1학기 학고, 2학기 휴학으로 삼반수하려고 하는데 1. 시간표 짤때 1학년 1학기...
-
ㄴ보기 B기준으로 A는 더 멀어지고 있고, C는 아직 방향이 안바뀐채로 나랑...
-
울산 - 경주 -포항 현지인들 핫스팟 공유좀
첫번째 댓글의 주인공이 되어보세요.