https://i.imgur.com/a3ifEAE.jpg

1.0は自然数
2.nが自然数ならば、nの次も自然数
3.0はいかなる自然数の次でもない
4.自然数nと自然数mが等しくない時は必ず、nの次とmの次も等しくない
5.自然数全体の部分集合Eについて、自然数についての上記1と2と同様のことが言える時、Eは自然数全体の集合

ってことかな。。
ぐぬぬ。。。
目盛り付の数直線をイメージすると4も5も当たり前のことを言ってる感じは分かるのだけど、
「なんでこんなに要るのか」と、逆に「なんでこの5つで十分だと言えるのか」が分かんない(´･ω･`)