やっぱ最初はペアノの公理からかね。
デデキントの切断までで一生終わっちゃいそー。