페아노 공리계 질문
게시글 주소: https://ys.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를 선물하세요.
-
은혜롭네 새벽반
-
칠리으 경우엔 9
엔엔엔 효과 자기으 이미지를 다깎아먹어서...
-
ㅇㅇ?
-
점점 여성화되감
-
음란풀 1
실망....
-
호옹 얘는 그냥 아이돌중 닥원톱이고...
-
여자따위 ㅋ
-
뭔가 잉여같다 1
어쨋든 한효주 밑 닥버
-
어린애한테 너무하시네
-
ㅋㅋㅋㅋㅋ 유일한 단점이라면 큰키와 ...
-
아나
-
현실자각 1
ㅇ으 거울보소!
-
기본이 크리스탈 아이유 ㅋㅋㅋㅋ
-
피부의 썩음이 진행되고이씀.. 어허허허어허어어엉어헝헝 수능끝나고 풀잠자면 해결되겟지
-
ㅇㅇ.. 근데 사귀고싶다
-
진짜 크리스탈은 4
볼때마다 귀엽다....
-
거미하니까 생각나는데 예전에 위탄인가 보다가 거기에 거미가 나옴 쫌 머리를 이상하게...
-
풀느님
-
다비치 뮤비는 죄다 내용을 모르겟냐 왜 쓰레기봉투에서 사람을 줍지를 않나 되찾은...
-
너와내가 다퉛던기억 모두 소중해애애 어쩜이리 노래를 잘하누 ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ
-
강민경은 노래안부르네
-
-
ㅋㅋ 네번째 0
3번까지 안보이다가 4번째에 보이네
-
아 목아파 0
허리도아파
-
달고싶다
-
아! 떨어진다!
-
웬지 이자리가 끌렸어 ㅋㅋㅋㅋㅋ 왘
-
내가 김재중 실제로봤을당시 패닉에빠진 2시간이 기억나는군
-
돖 이자식들 치명적이야
-
ㅁㅊ 치약놓고옴 0
ㅋㅋㅋㅋ 아낰ㅋㅋㅋㅋ 후라보노 레이디
-
양치 ㄱ ㄱ
-
목소리 돋네
-
뭐여? 0
전쟁이다
-
뭐임마 0
?
-
무려 2200원짜리 엔제리너스
-
아 위가녹는다 0
배고파 걍 쳐묵함
-
밥도 못쳐묵겟네 0
공부 개열심히하네 다들 시ㅂ 닥공해야지
-
밥 쳐묵하러감
-
반퀴라 노래들으면 우울함이 끝없이 펼쳐짐
-
아아아아
-
벽지벽지 0
룰루랄라
-
와 날씨돋네 0
비오고 춥고 헝 ㅜㅜ
-
혼자달려야지 0
런치런치
-
-
이제 치인트 하나남은건가
-
ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ 결말 마음에안들어 다시그려줘 ㅜㅜ
-
아무도 없나ㅏ요 0
잉여입갤
-
군모닝 0
-
아침 풀르비 0
유후~
-
내일학교가야되서 0
이만 퇴르비
페아노 공리계에서 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, ...}이 되는 건가요?