페아노 공리계 질문
n의 다음 수 라는 것에서 n은 자연수여야 하는것 아닌가요?
지금 자연수를 정의하는 과정이라서 n은 자연수 라고 쓰기도 좀 그렇고
만약 실수 전체에서 n+가 존재한다면 1.5+=2.5라고 할 수도 있잖아요
1.5+=2.5 '자연수의 덧셈'을 이용한건데 자연수 집합에 1.5가 있다고 한다면 모순이 없는것같아요
다음 수 라는건 뭐죠?
1.5가 자연수라고 정의했을때 페아노 공리계에서 우리가
직관으로 자연수라고 생각하는 것(1, 2, 3..)들 이외의 것들도 자연수라고 할 수 있나요?모순이 있는것같은데
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
컴공 일기260 5
https://www.acmicpc.net/problem/6236 백준 6236번...
-
개신나네요 노래는마약이야
-
고2 모의고사 33533 정도 뜨는 그냥저냥한 현역입니다.. 요즘 고민되는 것이...
-
다들 매운 거 주의해서 드시길...
-
おやすみなさい 5
잘자요
-
02 정상적으로 입학했으면 졸업할 나이 이들은 무엇을 하고있을까? 1. 한번에...
-
이제 잘랭 6
안농
-
들었으면 출발.
-
맞팔하고 그냥 자러 갈게여
-
진학사를 돌려보는게 처음인데... 등수에 왜 이리 사람이 없는거죠??
-
대망의 수학 6
일단 밝히고 들어갑니다 전 살면서 모의고사 2등급 한번 받아봄(3점틀려서;;)...
-
메인글 제외하면 진지하게 10배 뻥튀기같은데 투데이도 좀 비정상적이고
-
무직전생이랑 비스크돌 봤어요 솔직히 식은땀 났습니다... .
-
교정 3일차 11
드디어 통증은 많이 사라졌는데 이빨이 뻐근해요 그리고 윗니 아랫니 닿을 땐 아직도...
-
은 다는 못하고 6,9평 성적표 잃어버리고 시험지만 남아있는 것들이 좀 많아서 그냥...
-
걍 내년에 서울대 정문 부시는 성적 받는게 답인갑다 13
연대도 깡내신 보네 나같은 2점대 후반은 뒤지라는거냐 아예 버렸으면 억울하지라도 않지
-
사탐 추천 좀 2
초단기간 개념완성 가능한 과목으로
-
자기애가 넘치다가도 한순간 추락해서 도랑에 처박히면 일어날 줄을 모르네
-
심장에 해로워요 7
-
사회가 이상함 재수 반수도 까놓고말해서 정상아님
페아노 공리계에서 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, ...}이 되는 건가요?