"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
10키로 찌면서 이목구비에 살찜뇨.. 이제 마름에서 그냥 보통 정도 된거같은ㄷㅔ...
-
님들 새해복많 17
먼가 님들 다 오르비에만 있는 AI 같아서 새해 덕담할 생각을 못하고 잇엇음 새해복많
-
설댕이의 새해인사는? 45
크킄크크킄크크크크크크크킄크 행복한 설댕세요!!!!!! 솔직히 웃었으면 세뱃덕코 주세요.
-
노추받아요 43
-
넌 ㅆㅂ형이랑 끝까지 가자 ㅇㅇ 진짜 무조건 높1 띄워줄게 형이 ㅆㅂ걍 다풀어줄게...
-
새르비니까 한번씩 적어보시죠 아침에 지울겁니다 저는 중학교때가 좀 후회되네요 그때...
-
나만 그런지는 모르겠는데 뭔가 키작은 여자 보면 진짜 어떤 욕망이나 의도는 없이...
-
님들 몇살임? 13
제가 누구 나이를 들어도 자꾸 까먹어서...
-
대학가면 화석취급임? 17
군인 04인데 대학가면 신입생이 07임ㅋㅋ 내가 이성적인 감정을 느끼면 좀 이상한놈인가
-
무물보 33
거짓말은 최고의 사랑
-
ㅇㅈ 18
-
-
이거 먹을려고 열심히 일 했어요
-
난이도 쉬움 투표 글이 훨씬 반응 잘 옴 댓글은 귀찮아서 오르비언들이 잘 안 달아줌...
-
옯만추 해본사람 있음? 10
ㄹㅇ궁금함
-
무슨 글 쓰지 10
흠.
-
ㅇㅈ 10
새해 복 많이 받으세용ㅋㅋㅎ
-
수능경제질문받아요 37
조금합니다
-
반수성공해야하는 이유 11
지방의<의사업계애서 평생 무시당함 친척어른분이 의사신데 대학이름 듣자마자 바로...
-
.
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요