[일반] 페아노 공리계의 5번 공리를 이렇게 이해해도 됨?

[익명(211.36)]

자연수 집합 내에

1 > 1‘ > 1‘‘ •••

외에 

b > b' > b'' •••

같은 체인? 이 존재할 수 없게 한다

즉

1 > 1‘ > 1‘‘ •••

이 유일하다(자연수 체인의 시발점은 1로 유일하다)

[수갤러 1(211.234)]

b=2로 잡으면 반례 "1을 포함하면서" 귀납 성질을 만족해야함

[익명(211.36)]

그럼 b를 생각하지 않고 어떤 자연수를 잡든 그 시작점으로 돌아가면 1이 존재한다 하고 동치이죠..?

[익명(211.36)]

property를 가지고 설명하는건 자꾸 추상적으로 느껴져서 ㅠ 근데 그 자체로 받아들이는 연습도 해야할 것 같긴 하네요..

[익명(211.36)]

수 체계를 염두에 두지 않고 특정한 property를 상상하기가 힘들달까요..? 근데 그 property를 체인의 맨 시작점으로 가면 1이 나온다 로 생각하니까 좀 직관적인 느낌이라서요