수학채널 채널

ZFC 공리계 상으로 보면 자연수 집합을 만들 때 자연스럽게 공집합부터 시작하도록 construction이  되고 공집합은 0에 대응되니까 0은 자연수라고 보는 사람도 있던데, 

페아노 공리계 상으로는 1부터 시작해서 1을 더하는 방식으로는 0을 construction 할 수 없는 것 같던데...

님들은 0이 자연수라고 생각함, 아니라고 생각함?