"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
[칼럼] 연세대학교 조기발표 일정에 대한 심층 분석 70
오르비 계정은 대학 관련 정보를 얻으려고 살려만 놓았었는데, 오르비에서 연대...
-
중앙대 합격생을 위한 노크선배 꿀팁 [중앙대25][필수교양 제도와 과목소개] 1
대학커뮤니티 노크에서 선발한 중앙대 선배가 오르비에 있는 예비 중앙대학생, 중앙대...
-
연세대 0
정시에서 내신반영한다는데 과고생 일반고생 내신을 정량적으로 평가해버리면 같은게...
-
인싸력을 고급지게 '네트워킹'이라 부름 학연이나 학회-연을 통한 네트워킹을 통해...
-
6시 얼버기 4
ㅇㅈ메타 있었음?
-
갑자기 드는 생각임요 살짝 거품인가 싶기도 하고요 바이럴이 들어간 건가 방어회 좋아합니다
-
저는 05인데 주민센터라고 부름요 ㅎㅎㅎㅎ
-
전체 충돌 횟수는?두물체 질량 바뀌었어요 ㅈㅅㅎㄴㄷ
-
다 갔지? 19
연대와 고대 ㅇㅈ
-
25학번들을 위한 24(22?)학번의 짧은 조언 나가요! 3
솔직히 제 레벨이 매우 높은 것도 아니고 글도 많이 없지만(흑역사 다 지웠습니다)...
-
안녕하세요 나무아카데미입니다. 겨울도 지나가고, 봄이 점점 다가오고 있지요? 다들...
-
지지에요!
-
1에서 9까지의 자연수 카드가 있다. 두 사람이 번갈아가면서 카드를 하나씩...
-
기차지나간당 6
부지런행
-
말도 안돼 ㅠㅠㅠㅠㅠㅠㅠㅠ
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요