"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
냥대 가군.. 0
내일 16일 발표하는 가능세계는 없는 건가요 ㅎ
-
올해안에 되긴할려나
-
그때부터 오르비 비호감됐는데 진짜 이상한사람들 많네
-
-
2025년 1월 1주차 韓日美全 음악 차트 TOP10 (+2024년 12월 4주차 주간VOCAL Character 랭킹) 2
2024년 12월 4주차 차트: https://orbi.kr/00071194122...
-
수강하신분 계신가여? 하셨다면 후기가 궁금하네요..
-
1번틀 98점 되고싶었음 물론실력은안됨
-
국어1 수학3 나오고 정시 인문 전형으로 런 사문확정, 지구 or 정법 or 지리...
-
10명중 5명이나 점공을 했어요지금 1등이라 4명만 더 알면 되는데...
-
별론가
-
낼 제출할 예정이랍니다
-
오르바에 07잇나요 22
1907년생
-
김현우 라이브 듣다가 너무 어려워서 드랍할 거같은데 공통은 김범준 인강 스블...
-
인생에 잃을게 없다는 생각으로 가끔씩은 막나갈때도 있는데 결국에는 다시 무서워짐
-
초성게임 시작 3
ㅅㅅ
-
재밌어요... 현역(진)인데 말이죠
-
내 예전 고민임
-
이거 맞지..? 포모 오네
-
ㅇㅈ 15
실시간 저녁 ㅇㅈ
-
저랑 만나실 수 있는 데이트권을 드립니다 넵.
-
강기원T 수학 5
강기원T 수학 라이브 듣고 있는데 강의는 따라갈만한데 어싸가 너무 어려워요.. 고3...
-
물리 2 지구 1
물리2랑 지구1 중에 뭐가 더 2등급 하기 쉽나요? 둘다 처음합니다 다만 물2는...
-
07들이제들어오는데 예아피방재밌노 Wwwwww 이럴순없잖아요…
-
태양보단 대성이 더 잘 어울리는 느낌 뭔가...태양이 더 잘하긴 하는데 대성 보컬이...
-
2만덕 드림 나군 밖에 안 될 거 같아서 나군 기준으로 합니다 최초합 ~ 예비...
-
수학 실수는 대체 어떻게 하면 고칠 수 있음뇨?? 15
25 9모 3점 틀(24번인가 25번) + 22 29 사칙연산 틀 25 수능 5번...
-
물론 너무 낮은대학이 아닌이상은 ㄹㅇ 과가 더중요한거같은데
-
팔문둔갑 사문 개방
-
화학:기체추론,양자수추론,이온화 에너지 퍼즐,중화반응 << 시간관리 실패하면...
-
좁디좁은 시야로 예단하며 아는척을 하는걸 보면 재밌음 본인의 그릇으로 세상을 보되 깝치지는 말길
-
-
다니고있는 대학은 지금 자퇴해도 되는건가요?
-
그때는 글써봤자 무시 당할 것 같아서 유기하다가 고1때부터 슬슬 오르비 많이 했음...
-
어디인가요? 성대. 중대 제외하구요 ㅜㅜ
-
틀딱들은 오르비를 해라 13
나가지마 !!!!!!!!!¡!!!!!
-
건대
-
국민은행 297402-XXXXXXXX
-
6문제 남앗다 갈길이멀다 10개월 남았다 한달에 0.6문제만 더 맞히면 된다
-
나고3인데 불쾌하네
-
성대 소프트웨어 0
작년에 몇번까지 돌았나요?
-
이미지메타 편승 18
이사랑노래가싫어~다신안부르리~~~
-
내일도 수고하세요
-
나도 이미지 써줘요 21
-
이미지 써주세요 6
-
시대인재 모의반 7
모의반이 7월에 수강신청을 시작한다는데 그럼 전부터 다니고있더라도 수강신청 못하면...
-
현재 07 현역이고 언미물1생1 공부 하고 있습니다공부를 하면 할수록 물리를 할바엔...
-
선물 드릴게요
-
예를 들면 수학 수업은 시대인재가 훨씬 난이도가 있는 편인가요? 문과반에서요!
-
이미지써주세료 4
으하하
-
저도 이미지 0
써주시길 부탁드림다
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요