540
＞本文の定義、公理、定理、命題、系とかの証明は普通に読めます。

自然数は、杉浦では実数体の部分集合として定義されているわけだが
零元０と乗法の単位元１の間には、自然数が無いこと、これは
どうやってわかりますか