나무위키 읽다가 발견한건데 페아노 공리계에 따르면 1을 따름수로 갖는 원소는 N에 존재하지 않는다는데 근데 덧셈의 정의로 가면 페아노 공리계는 0을 자연수라 선언하고 0의 계승자를 1이라 하고 1의 계승자를 2라 하고 2의 계승자는 3.. 이런식이라는데 무슨 말임? 0이 자연수라고 선언됐으면 0은 N에 포함되는 원소 아니야?
근데 0의 따름수는 1아님?
- dc official App
댓글 5
0을 자연수로 정의하지 않으면 첫째 짤의 정의대로 하는거고
0을 자연수로 정의하고 싶으면 첫째 짤에 있는 1을 0으로 바꿔주면 됨
ALTa(tladud123)2025-11-03 20:52:00
답글
페아노 공리계에서은 0부터를 자연수로 정의해도 되고 1부터를 자연수로 정의해도 된다는건임?? - dc App
황재웅(hence2332)2025-11-03 21:01:00
답글
0이 자연수인지 아닌지가 상황에 따라 다르게 활용될 수 있어서 안 정해둔건가? - dc App
0을 자연수로 정의하지 않으면 첫째 짤의 정의대로 하는거고 0을 자연수로 정의하고 싶으면 첫째 짤에 있는 1을 0으로 바꿔주면 됨
페아노 공리계에서은 0부터를 자연수로 정의해도 되고 1부터를 자연수로 정의해도 된다는건임?? - dc App
0이 자연수인지 아닌지가 상황에 따라 다르게 활용될 수 있어서 안 정해둔건가? - dc App
@황재웅 페아노 공리계나 자연수에서 중요한건 저 구조이지 시작점이 0이냐 1이냐가 아니라서
@ALTa 그렇구만.. 답변 고맙습니다 - dc App