페아노 공리계 질문
게시글 주소: https://m.orbi.kr/00070858511
n의 다음 수 라는 것에서 n은 자연수여야 하는것 아닌가요?
지금 자연수를 정의하는 과정이라서 n은 자연수 라고 쓰기도 좀 그렇고
만약 실수 전체에서 n+가 존재한다면 1.5+=2.5라고 할 수도 있잖아요
1.5+=2.5 '자연수의 덧셈'을 이용한건데 자연수 집합에 1.5가 있다고 한다면 모순이 없는것같아요
다음 수 라는건 뭐죠?
1.5가 자연수라고 정의했을때 페아노 공리계에서 우리가
직관으로 자연수라고 생각하는 것(1, 2, 3..)들 이외의 것들도 자연수라고 할 수 있나요?모순이 있는것같은데
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
선착순 7명 만덕씩
-
여돌모고 5
귀찮아서 사실 1번만 만든 정환이면 개추 ㅋㅋ
-
이제 잘랭 6
안농
-
삼수까지는 그나마 정상궤도(나이)의 끝자락이라는 느낌이 들긴한데 사수부터는...
-
배고프당
-
자작문제 수2 1
복잡해 보이지만 보이는 막상 안 복잡할 수도 있습니다
-
서울대 자유전공 질문 10
정시에서 선택과목을 어떤 과목을 하든 상관없나요? 미적을 하든 확통을 하든 사탐을...
-
ㅠㅠㅠ
-
강기원 라이브 정규반 들을 건데 수2+미적이라 수1이 없음 다시 문의해서라도...
-
하와와
-
거주지랑 식비도 지원해주나?
-
재밌었는데
-
스블 난이도 1
반수예정인데 대성패스만 살거라 김범준t 스블 들어보려고 합니다. 25수능 확통...
-
그게 네칸이야..
-
안정 자과 뺴고는 자전/공학게열 다 진짜 너무 애매하네 표본 너무 촘촘해 빠질사람도...
-
신기하긴 한게 12
보추 여장 글 좀 올리니 내가 남르비인 줄 아는 거임ㅋㅋㅋㅋ
-
할사람? 1달전에 샀는데 아직도 시작안함
-
이나 타임어택 없음???
-
낚시는 재밌다 2
-
메가 김상훈 t 2
문학 완전 노베이스인데 문학론 듣기 전에 기초 강좌(문학 개념 메뉴얼, 고전시가...
-
왜 제가 2
성별을 속였을거라고 생각을 안하시져?
-
서성한이랑 중은 그래도 확실히 차이나는거 아닌가
-
제 성별 3
뭐임거 같음뇨
-
2206 100 2209 100 2211 87 2306 96 2309 100...
-
htps://orbi.kr/search?q=1325791&type=imin
-
아취한가 16
ㅋㅋㅋㅋㅋㅋㅋ
-
진짜 쓸 카드가 없어서 상향 질러야 하는데 어느 정도로 해야 할 지 모르겠어요ㅠㅠ
-
고작 친구도 못 되니까 툭툭 털고 활짝 웃을 만큼 나는 그리 강하지가 않아
-
그래서 전 뇨뇨체 씀뇨
-
야식ㅇㅈ 6
매운간장 이랑 캔맥..
-
욕심을 줄이는 것보다 노력을 하는 것이 쉽다 어디에선가 보았던 글인데 이제와서...
-
근데시발이난이도에44는생각못했는데
-
상식적으로 당연히 증원+실지원 안 할 의대반수생 고려해서 컷 잡아야 하는 거 아님?...
-
(출처: 독취사 인스타 계정) 연세대 고려대 서강대 성균관대 한양대 중앙대 경희대...
-
현역 평균 4등급? 국어는 백분위 54 재수 올3등급 삼수 평백 92 경외시 가야될...
-
병신ㅋㅋㅋㅋㅋ 커뮤에 자랑글 싸지르네
-
뇨체는 ㄴ 첨가 1
현실 발음과 규범 발음이 일치하지 않는 아주 좋은 사례 규범대로라면 ㄴ 첨가는...
-
문법 글 보면 댓글에 항상 있곤 했다죠
-
요새는 틀릴거만 틀리면 높2주는거같음.. 표본이 진짜..
-
귤을 6개 까서 지방에 가져갓는데 음쓰통에 안넣고 싱크대에 흩뿌려놓고감 개빡쳐서...
-
김기현 파데 0
재수생입니다 이번수능 낮은4떴는데 파데해야하나요? 아니면 킥오프할까요?
-
경기도 자율형 일반고(내신 표준편차 대부분 8~11)학교에 다니다가 2-2때부터...
-
아무거나 ㄱㅊ 과외는 5명 하고 있고 수학 모의고사는 대충 고1부터 하나 틀리거나...
페아노 공리계에서 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, ...}이 되는 건가요?