"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
올해도 입시 실패하면 운지하러 갑니다.
-
ㅅㅌㅊ?
-
페이커 월즈 5회 우승하게 해달라고 빌었음 그래서 신 원망 안할거임요 나중에 교회도...
-
히히
-
호떡 먹고 싶어요 14
여행가서 먹은 그 맛이 잊혀지지 않네요 주변에 호떡 파는 곳이 없어서 울엇어...
-
고대 조발 0
넵알젭알 내일 해주세요
-
ㅇㅈ 15
실시간 저녁 ㅇㅈ.
-
현금은 좀 준비해놓긴 했는데 어케 되려나
-
한번 만나볼 여르비 구해요~
-
월레는정상인임ㅇㅇ
-
6시40분에 일나야되는데 8시반에 겨우일났네요ㅠ...
-
오르비 쪽지 : 앱 없으면 알림이 안 떠서 불편 그나마 이거 많이 씀 오픈카톡 :...
-
하 연애하고싶다 5
우웅
-
밤이 되었습니다 13
애니프사들은 고개를 들어주세요 뭘 쳐다봐 미친새캬
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요