페아노 공리계 질문
게시글 주소: https://h.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를 선물하세요.
-
무조건 빡센 것보다도 얘처럼 걍 매사 무덤덤한 사람이 더 잘 보는 것 같기도
-
평가원커하 1
올해 6모였음 올해수능 끝나고 성적표들 다 불태워서 실제성적표는 없음;; ㅈㅅ
-
어엇 3
더 반성합니다 인스타 줄일게요
-
현우진웰케잘생김 3
반함
-
내 3년의 수험생활을 글 하나에 모아 담는것도 힘들것같고 내가 뭐 그렇게 대단한...
-
배고프다 1
-
진로 딱히 없음 뭐가 더 나을까요
-
오르비언 여러분 11
반성합니다 앞으로는 자주올게요
-
입시장학금을 단과대수석으로 정해놓고 한약학과를 약학과랑 합쳐서 약학대학으로 묶어놓음...
-
일반의 vs 약사 12
지거국의 가서 일반의-개업후 내과 진료(전문의 생각X) vs 약대가서 개국...
-
옯창아님
-
현정훈 분당시대 0
현정훈 분당시대인재 이틀뒤에 개강하던데 마감됐는지 아시는분있나요?? 보통 이틀전이면 마감됐으려나요.
-
-
그냥 죽고싶다 1
에혀 갈대학도업고 재수해서 성공한단 보장도 업고
-
1월 2일 6시임?
-
그 과목의 모든걸 다루려면 글이 아니라 책을 써야되는데... 딱 파트 정해서 쓰면 되는건가?
-
생윤 (림잇-기시감) n회독하면 될까요?
-
은 다는 못하고 6,9평 성적표 잃어버리고 시험지만 남아있는 것들이 좀 많아서 그냥...
-
다까먹어서 한번 돌리려는데 사긴 아까워서 흑백으로 뽑으려고 함... 흑백이면 문제있는 부분 있나
-
썸이 뭔데 시발
-
흠.. 도전해보실분..?
-
20세기에 점점 퍼지더니 이제는 아예 '연애'가 모두가 쓰는 단어로 자리를 잡았죠
-
국어 틀린 개수가 전과목 틀린개수보다 많으면 개추 ㅋㅋ 0
이건 진짜 많을거같은데
-
ㅈㄱㄴ
-
와 기태식이 0
요즘에도 있구나
-
기출300 베이직 기출300 플러스 특난도특강 다 새책임여…
-
안녕하세요 3
하이
-
06이면 중3 아님? 12
왤케 오르비에 많은거임
-
둘다 쌤 커리 안타고 문제만 풀건데 둘다 시키기는 돈아까운가요 ? 추천좀
-
저건 과외도 못구해ㅋㅋㅋ
-
머가 더 힘듬? 제발 국어라고 해줘라
-
런닝뛰고 돌아오는 길에 밤거리 보면 괜히 감수성 짙어지는구만ㅋㅋㅋ
-
책상 ㅇㅈ 3
-
언미화생 11211 11111 11211 이 씨발 영어
-
31121 41131 31111 수능이 커하라서 다행
-
전 인서울은 했으면 좋겠고 공대녀는 싫음
-
연고 표본 0
연고대 작년에도 이렇게 표본이 비엇나요 이때쯤?
-
짐빔 같은 편의점 거밖에 안 마셔봄
-
왜 그딴걸 쳐 만든건지 아직도 이해를 못함 쓰고싶은대학이 2개있는데 같은군이면...
-
수고링ㅋㅋㅋㅋ 넌 1000년 살아야줴
-
오르비 보는데 아무도 연락을 못 받으신 것 같아서요ㅜㅜ
-
경인교대 백분위 3
경인교대 가려면 국수영사문생윤 각각 최소 백분위 몇 정도 맞아야 하나요…. 지금...
-
인스타 보면 갓반고or 인원수 적음 때문에 뭐 선행 다빼고 들어오는애들이 올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, ...}이 되는 건가요?