Kingさん自然数とは具体的に何ですか？後ペアノの公理がよくわかりません。