整数を考察する過程で、今までの等号が、役に立たなくなります。どうするか？思い切って、集合論を丁寧に説明し始めました。まだ、記号論理学は用いず、素朴集合論のようですが、しっかりと公理的集合論を説明しています。自然数はどうなるのか？