페아노 공리계 질문
n의 다음 수 라는 것에서 n은 자연수여야 하는것 아닌가요?
지금 자연수를 정의하는 과정이라서 n은 자연수 라고 쓰기도 좀 그렇고
만약 실수 전체에서 n+가 존재한다면 1.5+=2.5라고 할 수도 있잖아요
1.5+=2.5 '자연수의 덧셈'을 이용한건데 자연수 집합에 1.5가 있다고 한다면 모순이 없는것같아요
다음 수 라는건 뭐죠?
1.5가 자연수라고 정의했을때 페아노 공리계에서 우리가
직관으로 자연수라고 생각하는 것(1, 2, 3..)들 이외의 것들도 자연수라고 할 수 있나요?모순이 있는것같은데
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
도와주세요 ㅜㅜ 1
전북대 공대 vs 전남대 인문대
-
다레모 카레모 시루엣토
-
슈바 신청문자 다시 넣어서라도 들어야하나 수1특강이랑 뉴런이랑 많이 다름요?
-
단 하나의 깃털도 남기지 말고
-
친구 할아버지 돌아가셨는데 조의금으로 얼마가 적당하려나 13
3? 5? 대학생이고 사정 안 좋은 건 친구도 알고 있음
-
죽기싫다 2
늙으면 죽어야하잖아 그렇게 되긴 싫은데
-
수능 성적 변화 5
12123 >> 11111
-
맞팔구 10
❤️
-
선착순 2명 천덕 12
주세요
-
재수 삼수 사수 오수 ... 해도 상관없는데 그 해 대학을 못 갔을 때 / 아쉬울...
-
아니 나 진짜 트라우마 올라올려고 그래
-
덕코 주떼여 9
내놔
-
덕코 갈취하기
-
혼자 써보고 지피티한테 교정해달라함
-
하쿠<<저격합니다 11
-
난입 유성 절대 안든다
-
선착순 7명 만덕씩
-
이제 잘랭 6
안농
-
삼수까지는 그나마 정상궤도(나이)의 끝자락이라는 느낌이 들긴한데 사수부터는...
-
넷카마 저격 3
아이민 1147474 이 #~# 남자면서 여자인척하네
-
배고프당
-
자작문제 수2 0
복잡해 보이지만 보이는 막상 안 복잡할 수도 있습니다
-
서울대 자유전공 질문 10
정시에서 선택과목을 어떤 과목을 하든 상관없나요? 미적을 하든 확통을 하든 사탐을...
-
ㅠㅠㅠ
-
강기원 라이브 정규반 들을 건데 수2+미적이라 수1이 없음 다시 문의해서라도...
-
하와와
-
거주지랑 식비도 지원해주나?
-
재밌었는데
-
스블 난이도 0
반수예정인데 대성패스만 살거라 김범준t 스블 들어보려고 합니다. 25수능 확통...
-
그게 네칸이야..
-
아직도 절 3
여르비로 아는 사람이 있네
-
안정 자과 뺴고는 자전/공학게열 다 진짜 너무 애매하네 표본 너무 촘촘해 빠질사람도...
-
대망의 수학 6
일단 밝히고 들어갑니다 전 살면서 모의고사 2등급 한번 받아봄(3점틀려서;;)...
-
신기하긴 한게 12
보추 여장 글 좀 올리니 내가 남르비인 줄 아는 거임ㅋㅋㅋㅋ
-
저도 성별 3
조사해봄뇨
-
할사람? 1달전에 샀는데 아직도 시작안함
-
이나 타임어택 없음???
-
네
-
낚시는 재밌다 2
-
메가 김상훈 t 1
문학 완전 노베이스인데 문학론 듣기 전에 기초 강좌(문학 개념 메뉴얼, 고전시가...
-
이대 vs 서강 2
둘다 자전으로 전자공 선택한다면 어디가 낫나요? 진짜 잘 모릅니다 왜 더 나은지...
-
왜 제가 2
성별을 속였을거라고 생각을 안하시져?
-
9모 현대소설 보기문제.. 이거 틀리고 97점이었었는데 수많은 강사 해설을 봤지만...
-
서성한이랑 중은 그래도 확실히 차이나는거 아닌가
-
제 성별 3
뭐임거 같음뇨
-
2206 100 2209 100 2211 87 2306 96 2309 100...
-
htps://orbi.kr/search?q=1325791&type=imin
-
난 3개
-
아취한가 13
ㅋㅋㅋㅋㅋㅋㅋ
페아노 공리계에서 1은 항상 자연수에 포함되어 있다는 전제 하에 n의 다음수인 n+는 항상 n+=n+1로 정의되니 귀납적으로 1+=1+1=2로 정의된 거라 보시면 돼요
글쓴이께서 처음부터 1.5를 자연수라 하기로 하셨었다면 공리계가 그렇게 짜였겠죠?
공리라는 게 말 그대로 누군가가 내린 수학적 지침이라는 거라 글쓴이 분 생각대로 해도 큰 모순은 없습니다. 다만 이미 짜여진 공리계가 그럴 뿐인 거죠
페아노 공리계에선
5번
1.5가 n에 들어긴다는 증거가 없으니까 n에 넣을 수 있는 것은 이미 확실하게 정해진 1뿐,
그리고 귀납적 정의로 1, 2, 3..을 n에 확실하게 넣을 수 있게 되므로 N={1, 2, 3, ...}이 되는 건가요?