페아노 공리계 질문
n의 다음 수 라는 것에서 n은 자연수여야 하는것 아닌가요?
지금 자연수를 정의하는 과정이라서 n은 자연수 라고 쓰기도 좀 그렇고
만약 실수 전체에서 n+가 존재한다면 1.5+=2.5라고 할 수도 있잖아요
1.5+=2.5 '자연수의 덧셈'을 이용한건데 자연수 집합에 1.5가 있다고 한다면 모순이 없는것같아요
다음 수 라는건 뭐죠?
1.5가 자연수라고 정의했을때 페아노 공리계에서 우리가
직관으로 자연수라고 생각하는 것(1, 2, 3..)들 이외의 것들도 자연수라고 할 수 있나요?모순이 있는것같은데
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
펑펑
-
가능한가요?? 직원들 출근 안 할 거 같은디…
-
정책=환율 바로잡겠습니다! 바로 달러-원 교환금지 ??: 어쨌든 환율방어했잖아 아...
-
살려만 다오!
-
경영 추합되겠죠?? 계속 최종컷도 올라가고 등수도 내려가니까 무서워짐..
-
ㅠㅠㅜ
-
첫날부터 계속 6칸이었는데 붙을수있을까요? 그리구 칸수 5/6/8로 정시 쓰려는데...
-
낙지칸수 0
셋 다 의대인데 5칸추합/4칸추불/5칸추합 다 떨어질 가능성 몇퍼로 봄 참고로...
-
경희대vs 이화여대 12
경희대랑 이대 둘 다 붙으면 어디 가실건가요? 정치외교학과입니다
-
아이묭 내한하네 6
방금 알았음
-
연고 높은과도 찬거같은디
-
-
설대 물리 0
설대 물리 옛 명성을 되찾으려는 걸까? 낙지에 420점이 박혀있네 ㅠ
-
이거 경남지역에만 파는 소준거 최근에 알앗음..
-
중대도그렇고 한양대도 그렇고..
-
하 이걸 드디어 먹어보네
-
어제 수시 끝나서 다시 참전합니다 대충 올해 수능 풀어보니 생윤 사문 두개로...
-
구해용
-
유리한데이, 또선생 둘다 메이저 입성했는데(sky학벌) 땅우 혼자 야인이잖슴
-
저메추 2
집 나가기 싫음
-
달달해 ㅎㅎ
-
저녁맘마 추천좀 9
편의점에서 먹을수있는걸로
-
옯평 ㅋㅋㅋㅋ 0
대통령 보고 핵빵 드립 떠올리는 건 씹 ㅋㅋㅋㅋ
-
요즘 여대 인식에 관해서 말이 많은데,,,, 여대 약대도 인식이 안 좋을까요?...
-
예비1번 안빠지면 ㄹㅇ슬플듯 ㅜㅜ
-
아니 2022 랄로도 재밌긴 한데 연말이잖아!
-
미적분 자작문제 2
-
그럴수가있나 ㄹㅇ개추움요
-
:) 2
26년 수능을 마지막으로 보고자합니다. 내년에는 꼭 원하는 곳에 가고싶습니다....
-
-
이정도면 아직 표본이 안찬거 맞나요? 진학사는 적정표본수라는데 딴 게시물들 보면 아닌거같기도 하고
-
오르비 공식 태그
-
가즈아 1
-
-
이정도로 고능한 사람이 또 있을까….
-
사탐 공대 0
갈 것 같은데 그 전에 물리 공부하려고 합니다 물2 인강 개념 돌리고 가면 ㄱㅊ을까요?
-
비슷비슷한 과들인데 하나만 표본수가 적은건 어떤 뜻임? 1
작년 입결이나 모집인원이나 대충 비슷한데 진학사 표본수가 2배 정도 차이나던데...
-
원서비는 아깝지만 뱃지는 못참지 ㅋㅋ
-
설상경이 되네 ..........
-
친구 만낫는데 같이 수능얘기할 때가 제일 신나요 오르비를 라이브로 하는 느낌이에요
-
그렇다고 믿을게
-
-
1->2가는데 2점깎던데 이정도면 상당히 많이 깎는거임?
-
주변 친구들 수시 붙은 소식 들려오니까 불안하신듯 정시는 이제 시작인데요 허허..
-
아주 가볍게 한번 훑어봐서 다시 개념 하려하는데, 개념원리 제외 좋은 책 있을까요??
-
국민대 합격생을 위한 노크선배 꿀팁 [국민대25][통학 꿀팁] 0
대학커뮤니티 노크에서 선발한 국민대 선배가 오르비에 있는 예비 국민대학생, 국민대...
-
SiLip대학교
-
이런ㅅㅂ
-
꾸준글죄송함니다ㅜ ㅜ 구매하실 분 쪽지 주세요! 싸게 드릴게용
-
아무섭다
페아노 공리계에서 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, ...}이 되는 건가요?