페아노 공리계 질문
게시글 주소: https://ui.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를 선물하세요.
-
컴공 일기260 5
https://www.acmicpc.net/problem/6236 백준 6236번...
-
알려주시면 감사하겠습니다.
-
비호감 2명 누구냐 14
자수하셈
-
ㅇㅈ 6
앗 정상화의 신이
-
학생동 1순위 선발 기준에 전형별/모집단위별 입학 순위를 고려하는데 만약에 제가...
-
장원영 레전드 6
연말에 인생샷이 나올줄은
-
내신 2점 후반대~3점 초반대까지는 써볼만한거 아님? 몇몇과들은 거의 정시일반이랑...
-
ㄱㄱ
-
내가 미친 루팡이었네
-
갑자기 이상한 영어로기쿠키가 없다면서 안들와졌는데 보고싶었어
-
재수 여파로 4
고3인데 생기부 써야하는 내 인생 ㄹㅈㄷ
-
욕먹을까봐 못올리겠음 ㅇㅇ
-
자라 이것들아 3
2시 넘었어
-
쫄린달까
-
ㅠㅠㅠㅠㅠ
-
얼박사 마셔야겠다... 포션제조 ㄱㄱ
-
자야징 2
매일 자기전 하는 일 = 싸놓은 뻘글 치우기 내일도 얼버기를 보여주지
-
개대단함 ㄹㅇ
-
글 미는 중인데 10
과거의 나 자신 뻘글을 얼마나 쓴거야...?
-
뭘 저렇게 다 흘려 아깝게
-
지옥과도 같았던 시간들
-
부유한 지역(?)도 아닌데 과외생 부모님께서 막 스터디 룸 대여해준다고도...
-
합격 후 오르비 가입해서 조금 뒷북인 인증글
-
정말 유일
-
ㅜㅜ
-
이정도면 가능할거같음
-
메인글 제외하면 진지하게 10배 뻥튀기같은데 투데이도 좀 비정상적이고
-
And with that the 2024 season 2
comes to the end
-
ㅇㅈ 16
이어폰 물렁이 사라짐 아
-
궁극기 발동
-
다들 비정상이야
-
ㅇㅈ 이거맞나 9
오늘의 추천글에.. 이미 사진 내렸는뎅 어,, 생각보다 많은 관심이
-
누구 차단했는지는 안비밀.
-
아니 그래서 왜 6
남르비 ㅇㅈ이 없는거지? 보통 이때쯤 하는데
-
둘 다 해보신 분?? 지1 낮2인데 개인적으로 새로운 자료 해석이 뒤지게 어려움...
-
책 추천좀 6
이제 역사의 여운에서 빠져나올때가 된 것 같아서 파시즘의 정치사상이 드러나있는 책은...
-
보고시프면 팔로우 ㄱㄱ
-
사회가 이상함 재수 반수도 까놓고말해서 정상아님
-
ㅇㅈ 5
식물이지롱
-
인강 0
방학때 하루에 수학 인강 몇강을 듣는게 적절한가요 참고로 시발점입니다 3월 개학...
-
투어스 세븐틴 보이넥스트도어 방탄 에이티즈 원어스 워너원 제베원 데이식스 엔시티위시...
-
ㅇㅁㅇ
-
2024년의 마지막 토요일이야
-
과외 궁금!! 2
연대로 진학하게 되면 송도 주변에서 과외를 잡아야되나?
-
담요단의 심금을 울림 오르비 책 눈팅해보니까 좋은 n제들 많네요
-
■총평 오징어게임2는 딱 2답게 잘 만들었음. 많은 사람들이 재미의 측면에서만 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, ...}이 되는 건가요?