"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://i.orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
진짜 가능함 스캠 아님 이걸 가르치는 사람이 있는진 처음 알았는데 내가 항상 그렇게...
-
ㅇㅈ 10
펑
-
무물보 10
고대 수리논술로 감
-
ㄱㅁ하나만 할게요 11
저는 살이 잘빠지는 체질이라 걍 하루 이틀 밥좀 적게 먹고 하면 살이 그냥 막...
-
ㄹㅇ
-
옥상으로 따라와
-
남자도 좋고 여자도 좋은데 양 성별에 다 이성적인 좋음은 한 번도 못 느껴봤고 그냥...
-
ㅇㅈ 눈만 13
펑
-
맞팔구 13
똥테달래요..
-
아직대학다발표안함?
-
근데 생각보다 맵네요 야식 먹는 이유는 저녁에 죽만 먹어서 배고팠어요..
-
늙은이에 I인데 알바 빠지기 뭐해서 그냥 개강하면 개총만 가도 친구들 만드는 거에는 무리 없나요?
-
이거뭐야…
-
중1때 사진 올려봄 11
잼민
-
저 몇 살일까요 11
-
아까 낮에 저 봤다는 댓글 달림
-
물지러들 화이팅
-
혹시나 해서.
-
사람이 많네 원래 보던 사람만 있었는데
-
자꾸 결국 발생하지도 않은 일 갖다가 마음 졸이고 있는데 어쩌죠 8
예를 들어 제가 올해 4합8 간신히 맞췄는데 4합8 못 맞췄으면 어쩔 뻔했나 이런 식으로
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요