"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
마타아시타 6
좋은밤!
-
제 지금 상황에서 만점권 성적까지 올리려면 뭐가 제일 베스트일까요? 23수능 백분위...
-
수학표점으로 대학갈수있었던 때 국어 3등급으로도 서울대를 갈수있었던때(국어 표점...
-
약대가려면… 13
한국사 7문제 이상 국어 10문제 이상 영어 5문제 이상 수학 1문제 화학 1문제...
-
최초합 적어도 추합 가능할까요? 친척들한테 붙는다고 말해도 될런지 모르겠습니다 발뻗잠해도 될까요?
-
난 아빠딸한테 10만원 줬는데 다들 줬음?
-
나혼렙의 성진우(최종장)랑 주술회전의 더위사냥이랑 싸우면 13
누가 이길까요
-
여러분때문에 눈은 안건들기로했어용
-
과 머리에 근육만 있을거 같았지만 거의 완성형 캐릭터인 놈
-
궁금해요
-
-
고해성사 6
토요일 아침에 씻고 지금까지 안씻었음뇨 토아~현재 이따 씻어야지
-
난이도는 비슷하지 않나요? 므ㅓ가 더 나으려나
-
근데 내가하면 75개 경매인가
-
과외 어디서 구하지 23
여기서 구할까 손들어봐
-
대학 다니면서
-
어느 순간 안팔리기 시작한다...
-
수학 노베에서 개념공부하묜 점수 확뛰잖음 내가 국어 노벤데 공부하면 수학처럼...
-
어이가없네 시발
-
히히
-
귀엽죠
-
악마임?
-
덕코 팔아버릴까 7
875만덕
-
N수생입니다 독재중이며 현재 공부 시간 분배를 국어 3시간 수학 7시간...
-
헤으응 강철공장 서방님
-
참고로 그 티투 감독이 바로 본인 갱맘이다
-
엄청 얇은데 등록금보태라고 주시더라 할머니가 ㄹㅇ 만졌을때 한장임 근데 실루엣이...
-
시간 안에 다 읽고 풀리시나요? 3분, 1분 30초...이렇게 시간재라는 대로 재고...
-
하... 0
레어...개같이...물렸네 크아아아ㅏ아아아아ㅏ아아아아아ㅏㄱ
-
충북대 의대 어떻게 생각하시나요? 미니의대에서 증원이 너무 많이된 케이스이기도 하고...
-
다가가기 직전에 남친이 튀어나와서 사레레 도와줌
-
왜 아직도 안하는거여 사실 조기발표 안한 이 대학이 밉긴 한데..
-
뉴런 책 꼭 사야됨? 10
25수능 미적 100점인데 그 동안 동네 학원에서 주던 문제만 풀었어서 인강은...
-
헬스장 예쁜여자 특징 12
레깅스+헤드셋+바람막이+푹눌러쓴모자 ㄹㅇ; 실패할수가없는조합
-
일본가고싶다 8
ㄹㅇ
-
수학이랑 바뀐 거 아닌가; 2.4-2.7 학교 나가서 그때 끝낼랬는데 하루종일...
-
서폿이 후픽 안준다고 서폿 픽 빼앗고 엄한 미드 와서 Cs에 강타 쓰고 있네
-
줄어든거 같아도 관심없음?
-
국어공부만 해야겠다 헤헤헤헤헤헤ㅔ
-
겨울방학 때 시발점을 시작했다면
-
여붕이 남친구함 29
헤네시스에서 기다림..
-
ㅈ반고 특 2
심화탐구=교과서 베끼기이나무위키 복붙하고 인공지능 넣었다고 이제 빅데이터만 넣으면 된다고 뿌듯해함
-
엉망징창 갈취하고 싶음 그래서 스스로 갈취함
-
전0
-
오늘의 야식 9
야식은 야한 식사의 줄임말이 아니래요
-
수능보다 좀더 높반 갈수 있을거같아서 넣으려는데 3합6기준에 3합3인데 6,9모로...
-
수능 백분위어느정도 나어셧나용
-
몇 점이냐 이게
-
-
보니까 올리기기능도 있더라 내가 만들어서 올리기도 가능하구나
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요