"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://i9.orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
하 9만덬..
-
시는 괜찮은데 소설이 약해서 지금 올오카 진도나가는 동안 계속 감 떨어지고 있는거같아서 불안한데..
-
빼애애애애애ㅐ애ㅐ개객ㄱㄱ
-
특정과목 한정 굇수들에게 이득임 이론상 100 88 1 87 99 원광의치 ㄱㄴ...
-
군대는 1
코로나때가 제일 꿀이긴 했어
-
슈냥 납치 성공 14
-
한 달 지났는데 연락이 없으심
-
의치한 레어 3
생각보다 무쌩김
-
아이묭까지 샀다 0
이히히
-
어제 3만덬 시작 여러번 물렸다가 지금 미쿠팔면 십이만덬정도 ><
-
거기 전무님 따님이 엊그제 연대 붙고 서울대 기다린다던데 전무님도 수학이...
-
.
-
일단 시범과외나 상담 잡는 건 본인 능력으로 잡아오시고.. 잡혔을 때 다른 걱정...
-
근데 50만덕이네 ㅋㅋ
-
레어 이쁘다 0
레어시스템 이렇게 활발한거 3년 옯생동안 첨봄
-
레아 자체는 괜찮은데 옵기견이라 라이엇 달고있기 기분나빠요
-
레어구매가 안뎀
-
레어테스트 0
ㅇ
-
ㅠ
-
1. 빛이 관성있어서 마이컬슨 몰리 실험결과나옴 길이수축은 불필요한 가정 2....
-
알르비 누가가져가려나
-
덕코는 그대로 돌려드리겠습니다
-
레어 다털리네 4
-
오늘자 프로세카 11
-
다 뺏기네 0
으악
-
경북대 가격 보고 와야겠다
-
알고리즘이 군대 영상으로 도배됐는데 그 옆에 교도소 영상이 하나 딱 떠있네...
-
우리은행 앞임
-
아니 10개 넘는 과 중에서 단 한 개 과가 제 성적으로 불합인데 어떻게 9개...
-
ㅈㄱㄴ
-
많이 모아두세요
-
https://orbi.kr/00060508585/%ED%8B%80%EB%94%B1%...
-
ㄱㄴㄱㄴ?
-
LaYu밉다.. 1
엔믹스말거 벅스버니 사가다오..
-
에잉 물렸다 0
이렇게된이상 소장각><
-
내일 많이 사주셈
-
강민철안듣고 김승리듣는 사람도 많음? 난 승리듣는데 강민철 안들어도 괜찮은건가
-
예비가 안나와서.. 궁금해요
-
시발…그냥 내 캬루룽 레어라도 돌려도
-
그지야 그지
-
미쿠가져가잉 6
왜안사징
-
공군 6
.
-
이거 평생 뺏고뺏눈거임?
-
그런건가
-
진심으로
-
슈능귝어는 4
강평 아님
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요