ペアノの公理
http://mathematician.blog.jp/archives/20200623.html