The Natural Numbers

So far we have studied the general theory of axiom systems. In this and the next chapter, we shall study axiom systems for two fundamental notions of mathematics: natural number and set.