페아노 공리계 질문
n의 다음 수 라는 것에서 n은 자연수여야 하는것 아닌가요?
지금 자연수를 정의하는 과정이라서 n은 자연수 라고 쓰기도 좀 그렇고
만약 실수 전체에서 n+가 존재한다면 1.5+=2.5라고 할 수도 있잖아요
1.5+=2.5 '자연수의 덧셈'을 이용한건데 자연수 집합에 1.5가 있다고 한다면 모순이 없는것같아요
다음 수 라는건 뭐죠?
1.5가 자연수라고 정의했을때 페아노 공리계에서 우리가
직관으로 자연수라고 생각하는 것(1, 2, 3..)들 이외의 것들도 자연수라고 할 수 있나요?모순이 있는것같은데
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이미지 써주면 맞이미지 13
-
의대 이월 늘어나면 연쇄적으로 입결에 영향이 갈텐데 이거 정시러들한테 좋은거...
-
ㄱㄱ
-
우리집에 가면 14
책-상도 있고, 연-필도 있고 암튼 이 노래 아시는분 계신가요
-
ㅇㅈ메타해주세요 0
잘생기면 쪽지할게요
-
그렇게 올리면 딱히 모르거나 호감이어도 비호감 누름
-
저렇게 텅텅이라니 하긴 원서 한장인데 반영비 맞는 고대쓰는게 맞긴함 ㄹㅇ로 1번 더...
-
다소 어둡지만•• 저는 강박증, 불안장애, 약한 공황을 4년째 앓고 있습니다 1년...
-
비뇨기과 가면 처방받고 주사 맞을 수 있나?
-
얼버기 3
-
ㅇㅋ 휴릅함 6
오늘 오후에 다시 돌아옴뇨 그리고 다들 좋은 밤 되세요!
-
-
다른 유빈씨가 유명해져서..
-
무네가 가슴이잖아요 옵빠이가 좀 천박하게 말하는건가요 둘의 차이 아시는분?
-
안녕하세요. 저는 이번에 경희대 한약학과에 수시로 입학하게 된 학생입니다. 다름이...
-
궁금하다
-
여기 진짜 가고싶은데… 갑자기 2칸이 떨어지네..
-
도저히 문돌이가 되지는 못하겠다
-
4분 계시던데 각 선생님 특징과 왜 추천하는지 물어볼 수 있을까요?
-
얼박사 만들어먹으면 깸..왜지
-
. 1
..
-
그래그래 그건 사실이야
-
-
컴공 일기260 5
https://www.acmicpc.net/problem/6236 백준 6236번...
-
알려주시면 감사하겠습니다.
-
비호감 2명 누구냐 14
자수하셈
-
ㅇㅈ 6
앗 정상화의 신이
-
학생동 1순위 선발 기준에 전형별/모집단위별 입학 순위를 고려하는데 만약에 제가...
-
장원영 레전드 6
연말에 인생샷이 나올줄은
-
내신 2점 후반대~3점 초반대까지는 써볼만한거 아님? 몇몇과들은 거의 정시일반이랑...
-
ㄱㄱ
-
내가 미친 루팡이었네
-
-
갑자기 이상한 영어로기쿠키가 없다면서 안들와졌는데 보고싶었어
-
재수 여파로 4
고3인데 생기부 써야하는 내 인생 ㄹㅈㄷ
-
욕먹을까봐 못올리겠음 ㅇㅇ
-
자라 이것들아 3
2시 넘었어
-
쫄린달까
-
ㅠㅠㅠㅠㅠ
-
얼박사 마셔야겠다... 포션제조 ㄱㄱ
-
개대단함 ㄹㅇ
-
뭘 저렇게 다 흘려 아깝게
-
지옥과도 같았던 시간들
-
부유한 지역(?)도 아닌데 과외생 부모님께서 막 스터디 룸 대여해준다고도...
-
합격 후 오르비 가입해서 조금 뒷북인 인증글
-
이정도면 가능할거같음
-
메인글 제외하면 진지하게 10배 뻥튀기같은데 투데이도 좀 비정상적이고
-
And with that the 2024 season 2
comes to the end
-
ㅇㅈ 16
이어폰 물렁이 사라짐 아
-
다들 비정상이야
페아노 공리계에서 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, ...}이 되는 건가요?