"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
사문 인강 뭐 들어야 하나요 4 0
현재 예비 고3 현역이고 자퇴 후 사탐런 해서 10월 말부터 사문 시작했는데 현재...
-
꿔바로우 드셔보신분 8 1
방금 시켯는데 이거 밥이랑 잘 어울리나 맛있음?첨이라
-
일본 만화하니까 2 0
썬더일레븐이랑 괴담레스토랑 생각나네 추억이다
-
오저메 24 2
고기 구워먹을거에요 후후후
-
의지는 소모품이다<-ㄹㅇ명언 0 2
8-9키로 빼니까 더 빼기가 귀찮네 5키로만 더 빼면 완벽한데 의지박약ㅋㅋ
-
선물 드릴게요
-
오늘 연대 조발해줘 1 0
제발
-
내 이미지좀 3 0
궁금해
-
모범생 훈남이라고 빨아주는 남자애들 요즘 스타일 아니라고 존못이라고 개빻았다는 남자애들 둘다 많았음
-
Sat lsat이런거 어줍짢게 따라하는거 진짜ㅋㅋ 걔네는 그냥 적성시험으로 아득바득...
-
-
1컷 미적 vs 기하 8 1
뭐가 더 쉽나요?
-
24수능 만점자 인터뷰 보고옴 0 0
다른 것보다 멘탈이 대단한 것 같음.. 나도 저렇게 덤덤하게 시험 볼 수 있으면 좋겠다
-
뭔 뜻임뇨
-
ADHD인걸까요. 11 0
개시글하나보고 생각나서 적어봅니다 저는 어릴때부터 문학작품의 기승전결을 다 시청하질...
-
완자로 내신대비가 되는 학교가 존재하긴 함?
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요