"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아 쓰는순간 바로뻇김
-
정시 내신반영 1
미인정 결석이랑 조퇴 많으면 불리한가요?
-
흐흐
-
확인용 6
ㅇ
-
250630 기출소스가 뭐였죠tan랑 일차함수 교점 기출 6
가형기출인데 정확히 년도아시는분
-
지금이 돈복사 기회다
-
아
-
행복하렴,,,
-
건강하다는 뜻 맞음? 용돈 다 쓰고 심심해서 헌혈 중임 편의점 교환권 만원 개꿀
-
보통 공통에서 1개 많으면 2개 틀리고 확통에서 2개, 많으면 3개 틀리곤 랬는데...
-
사탐런해서 사문 1단원 문제풀다가 이거 컨디션좀 타겠다 싶어서 검색해봤더니 은근히...
-
내 당근사가면 5
전쟁함
-
다시 투기를 ><
-
내가 만든 모든 레어는 결국 엔딩이 내가 살수없을만큼 비싸지는거임 다..
-
좋아요좀 눌러줄래…?
-
만덕, 천덕 아래에도 ㅇㅖ쁜 거 많으니 빨리 주워가기 ㄱㄱ
-
ㅠ 0
ㅠ
-
매물확인 0
ㄹㅇ
-
이대 레어 겟또 4
이쁘네
-
레어로 사람들 오르비 안 떠나게 만들기
-
휴식 1
안해.
-
고사국 정시 결과 언제 발표되나요? 감사합니다
-
오이 2
오아
-
오랜만이에요 6
요즘 계속 아프네… 잇올 오전타임 소화하기도 빡센데 당분간 집에서 할까
-
아이묭 1
묭묭묭
-
찾아왔다 0
히히
-
악질유저님 7
가만두지 않겠습니다.
-
누군가의 반감을 사고잇을줄은…
-
가져가 이제
-
레어로 8만 덕 버네 ㅋㅋㅋㅋ
-
ㄱ고고고고
-
와 덕코가 없어 0
안도ㅑ
-
아이 괜히샀나 핵물리학자 레어는 왜팔린건데
-
딮기팬으로써 딮기는 못참지
-
찍맞도 틀린걸로 치고 작수 공통에서 131415202122 틀렸는데 스블 할만한가요?
-
레어인 척하고 맨 밑에 사진 첨부하기
-
레테크 꿀팁 1
씹덕 레어를 조금의 돈을 들여서라도 산다 짜피 이게 원래 돈에서 n%방식인 듯 하여...
-
같은 사람이 계속 뺏는건 좀...
-
레어삽니다 0
흐흐
-
레어를 안산다
-
그럼 아쉬운거지뭐 그돈으로 요루시카 사야겠다
-
이제좀가져가라 7
너ㅜㅁ지저분해
-
콜라팔아요 1
ㅠㅠ
-
그만 가져가 0
ㅡ.ㅡ
-
레어확인 7
으흐ㅡ
-
흐흐흐
-
삼수 고민 ㅜㅜ 4
현역 수시로 숭실대 붙었는데 안가고 재수 -> 수능성적 53445 → 43224...
-
레어 좋은점 1
안 팔리면 글 예쁘게 해줘서 좋음 팔리면 덕코 많아져서 좋음
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요