"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
고3이구여 정시 준비 하고 있습니다 제대로 시작한건 12월쯤 부터고 화작 미적...
-
옯만추는 어케하는거임 17
나 98년생인데 아저씨랑 비밀친구하자 으흐흐
-
첫알바 어디가 ㄱㅊ? 15
돈이 부족하거나 알바해야만 하는 당위성이 있는 건 아닌데 더 늦기전에 경험해보는...
-
학기중에는 바빠서 독서를 많이 못했네요..
-
잠은 안 오네요
-
나중에 막 코 들리면 어캄
-
비명문대.jpg 13
팩트)다
-
부모님 피셜 졸업생중에 ceo도 많고 하다보니깐 동문회만 해도 기부받아서 돈이 엄청 많대요
-
아아 왜 학원알바한다고 했지 다 때려치고 도망가고싶다
-
추ㅐㄹ비 12
40도양주마시거잔득취해버렷
-
진심 트라우마 ㅜㅜ
-
세상에 좆병신이 얼마나 많은 지 깨닫게됨
-
본인 더프 인최업 10
경제 전국 3등 한 적 있음
-
연애하려고 연합동아리 들어가면 됨 거기 들어가서 연애할라고 이것저것 시도해보다 보면...
-
훈련소입소하루전 전여친 바람핀거알고 우울증있던거 심하게도져서 공군훈련소퇴소한거...
-
면허땄다 12
만세
-
확통 찍먹해봤는데 ㄷㄷ이네
-
책 좀 읽어야 하는데 10
갑자기 독서 떡밥 보고 자아성찰 해보니까 중학교 직전까지의 독서량이 중학교부터의...
-
히잉
-
우리학교 레전드썰 10
내신 5점대에 모고 전교 120등하던형이 4수해서 의대간 사례있음
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요