• 로그인
  • 쪽지함
  • 내 강의실
  • 구매내역
  • 사물함
오르비(Orbi)
  • 책
  • 인강
  • 심찬우
  • 이근갑
  • 피램
  • 국정원
  • 입시원
  • 지식거래소
  • 과외시장
  • 학원
  • 보관함
  • DeepFeed™
  • 게시글 모아보기
  • 글쓰기
  • #추천
  • #학습자료
  • #입시자료
  • #뉴스O
  • 출석부

무브

  • Obsession with perfection

오르비

  • 오르비 클래스
  • 오르비 과외시장
  • 오르비 플레이

아톰

  • 아톰 책
  • 오르비 큐
내 태그

내 태그 설정

입시
  • 입시자료
  • 배치표
  • 학부모상담
  • 내신,학생부종합전형
  • 입시뉴스
  • 입시분석
  • 모의고사
  • 자유게시판
  • !서울대
  • 서울대
  • 특기자
  • 지역균형
  • 기회균형
  • !연고대
  • 연고대
  • 연대문과
  • 연대이과
  • 고대문과
  • 고대이과
  • !서성한중
  • 서성한중
  • 서강대
  • 성균관대
  • 한양대
  • 중앙대
  • !주요대
  • 주요대
  • 이대
  • 경희대
  • 외대
  • 시립대
  • 의대
  • 치대
  • 한의대
  • 약대
  • 수의대
  • 경찰대
  • !공대
  • 공대
  • KAIST
  • POSTECH
  • 교대
  • 사관학교
  • 기타대학
  • 수능소감
  • 의치전
학습
  • 학습자료
  • 수학
  • 국어
  • 영어
  • 과탐
  • 사탐
  • 논술
  • 칼럼
  • 수기
  • EBS
  • 제2외국어
  • 공부질문
  • 인강질문
  • 문제집질문
  • 인강평가
  • orbiq
  • 문제집평가
  • 숨마쿰라우데
생활
  • 생활상담실
  • 사진관
  • 나의다짐
  • 뉴스
  • 선배
  • 힘이되는글
  • 나의일기장
  • 오락실
  • 연애
  • 문학
  • 서적
  • DSLR
  • 음악
  • 영화
  • 스포츠
  • 스타크
  • 인증
  • 크루비
클럽
  • 독학생
  • 로스쿨
  • 의대생
  • 독동반상회
  • 재수생
  • 반수생
  • 장수생
  • 특목고
  • 08년생
  • 07년생
  • 06년생
  • 05년생
  • 04년생
  • 03년생
  • 02년생
  • 01년생
  • 00년생
  • 99년생
  • 98년생
  • 97년생
  • 96년생
  • 95년생
  • 94년생
  • 93년생
  • 92년생
  • 91년생
  • 90년생
  • 89년생
  • 88년생
직업·취업
  • 진로
  • 취업
  • 직업
Epioptimus
Centurion
오르비 랭킹
XDK 누적 복권
XDK 경매
RARE

쿠쿠리 [1310649] · MS 2024 · 쪽지

2025-01-15 19:12:57
조회수 1,320
0

"(1+1=2)가 참" 이라는 결론을 부정해도 무모순

게시글 주소: https://orbi.kr/00071315125

  • 과탐
  • 국어
  • 논술
  • 수학
  • 모바일
좋아요 0
팔로우 27

[ 상상국어 ] 2025 상상국어 베타테스터를 모집합니다!

[ Mechanica 물리학1 시리즈 2026 ] 한 권으로 끝내는 전설의 물리학1 개념서

[ 생명수 생명과학1 모의고사 2026 ] 당신이 찾던 바로 그 모의고사

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.

쿠쿠리 [1310649]

쪽지 보내기

  • 최근 게시글 · 더보기

  • 8시간 전 집합을 평면원이 아니라 구로나타내도 성립함?
  • 12시간 전 하... 이 세상의 모든게 신의 뜻이다
  • 13시간 전 지금 듣는 노래
  • 05/19 21:30 정상인이면 자살한다
  • 05/19 20:57 인류는 이미 진실에는 관심없고 돈버는게 더중요함
  • 알림

  • 스크랩

  • 신고

  • 수학만. · 1279634 · 01/15 19:17 · MS 2023

    무슨 공리계인가요

    좋아요 1 답글 달기 신고
  • 수학만. · 1279634 · 01/15 19:17 · MS 2023

    일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
    결론을 부정하면
    1+1≠2이면 2≠2이므로 모순

    이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함

    좋아요 2 답글 달기 신고
  • 쿠쿠리 · 1310649 · 01/15 19:18 · MS 2024

    그게왜 모순임?

    좋아요 1 답글 달기 신고
  • 수학만. · 1279634 · 01/15 19:20 · MS 2023 (수정됨)

    페아노 공리계에서 다음수가 같은 수는 같은 수인데
    2의 다음수는 3.
    2와 2는 같음(둘다 다음수가 3)
    그러므로 2≠2는 모순임

    좋아요 2 답글 달기 신고
  • 쿠쿠리 · 1310649 · 01/15 19:21 · MS 2024

    2와 2는 같음을 부정함

    좋아요 1 답글 달기 신고
  • 수학만. · 1279634 · 01/15 19:47 · MS 2023

    그 명제가 페아노 공리계 안에서 말하는 거면 모순임
    대우를 쓰면
    그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임

    좋아요 1 답글 달기 신고
  • 토착신님 · 1175922 · 01/15 19:20 · MS 2022

    안녕하세요

    좋아요 1 답글 달기 신고
  • 쿠쿠리 · 1310649 · 01/15 19:21 · MS 2024

    안녕하세요

    좋아요 1 답글 달기 신고
  • 재필삼선은국룰

    01/16 02:32

    육군이나 공군 취사병 아시는 분 9

    요즘은 취사병이 개꿀이라카던데 정말인가요? 물론 부바부겠지만 먼저 입대한 애들 말... 

  • 투표쟁이04

    01/15 21:31

    본인 초딩남자애들한테 인기 ㅈㄴ많고 8

    형 멋있다 잘생겼어 이소리 많이 들었는데 또래 남자애들이나 20대 친구들은 본인... 

  • 5색형광펜열품타17시간담요단

    01/15 23:52

    초성게임 시작 3

    ㅅㅅ 

  • 성글경탈출프로젝트

    01/15 22:12

    전 책 많이봄 6

    부모님께서 마인크래프트는 안사주셔도 책은 개많이 사주심 

  • Hahus8e

    01/16 17:30

    어떤 과탐과목인지에 따라, 대학마다 가산점이 있나요??? 0

    ㄹㅇ 잘 몰라서 그런데 과탐 잘만 선택하면, 뭔 선택했는지 선택자체가 서울대... 

  • 소테리아의 길

    01/16 17:29

    논술 공부하는 학생 0

    논술 공부하는 학생들 위해 직접 적은 칼럼 알려드릴게요. 1) 답안 작성이 아닌,... 

  • 푸 리 나

    01/16 02:27

    닭이 먼저임 아니면 달걀이 먼저임? 1

    사람이 먼저다. 

  • 오또카니

    01/15 23:07

    사문 인강 뭐 들어야 하나요 4

    현재 예비 고3 현역이고 자퇴 후 사탐런 해서 10월 말부터 사문 시작했는데 현재... 

  • 사와코

    01/15 21:26

    꿔바로우 드셔보신분 8

    방금 시켯는데 이거 밥이랑 잘 어울리나 맛있음?첨이라 

  • 후루데 리카

    01/16 00:46

    일본 만화하니까 2

    썬더일레븐이랑 괴담레스토랑 생각나네 추억이다 

  • 하이샵

    01/15 18:45

    오저메 24

    고기 구워먹을거에요 후후후 

  • 새별비

    01/16 14:45

    의지는 소모품이다<-ㄹㅇ명언 0

    8-9키로 빼니까 더 빼기가 귀찮네 5키로만 더 빼면 완벽한데 의지박약ㅋㅋ 

  • qazwsx12345678

    01/15 23:43

    대성 확통 노베 인강 추천 부탁드립니다 3

    선물 드릴게요 

  • 비틀비틀짝짜쿵

    01/16 02:20

    오늘 연대 조발해줘 1

    제발 

  • 실데나필

    01/15 23:40

    내 이미지좀 3

    궁금해 

  • 투표쟁이04

    01/15 21:38

    그냥 내가 호불호 심한 외모인듯 ㅇㅇ 7

    모범생 훈남이라고 빨아주는 남자애들 요즘 스타일 아니라고 존못이라고 개빻았다는 남자애들 둘다 많았음 

글쓰기
오르비 1394525번째 회원 가입 오르비 로그인
10일 만에 단권화!?
ddna
1,422,072 건의 게시물이
블록체인에 디지털 공증되었습니다.
901,751
497,321
22,267
574
159

댓글이 많은 글

  • 약대 다니는데 질문 받아요56
  • 잠깐,댓글 하나씩 달고 가요55
  • 이준석이 이번에 당선은 안되겟지만52
  • 소신발언51
  • 이준석 ‘스테이블코인’ 발언 논란…업계 “기초 이해 부족”48

2026 수능D - 176

오르비 플레이
오르비 RARE
오르비 과외시장
  • 화2 50 카의생

  • [연세대 수학과] 24수능 수학 백분위100

  • 중 고등학생 (+과고 준비생) 과외 구합니다

  • 과학 | 물리 | 정교사

  • #수능 영어 #목동, 대치동 출강 이력 #성균관대 졸업 #1등급 6개월 단기 완성 #내신 1등급 완벽 대비 #문법 노베이스 환영 #서울 상위 10위권 대학 합격자 다수 배출(설카포

  • 고등학교진짜영어쌤

Move
our corporate site
Orbi Class
on-line classes
Atom
educational books & resources
Gae9
humor and fun
  • 무브 주식회사
  • 사업자등록번호: 220-87-91523
  • 대표이사: 정환수
  • 서울 강남구 테헤란로70길 14-6, 세왕개발빌딩 B동 2층
  • 통신판매업신고: 제 2011-서울강남-02857 호
  • Tel: 070-4353-3537
  • Email: orbi.cs@move.is
  • 이용약관
  • 개인정보 취급방침
  • 청소년 보호정책
  • 이메일주소 무단수집거부
  • 저자 강사 모집
  • 광고 제휴 문의
  • 고객센터
  • 서비스 상태

© 2000-2025 Move Inc.

orbisoptimus (v17-c7ae94)