# Boxing Pythagoras

## The Axiom of Infinity

In my previous post introducing the concept of Set Theory, we discussed one method for constructing the Natural numbers– a method often referred to as a Von Neumann construction. Using that method, we start with the Empty Set ($\emptyset$) and then systematically build the Natural numbers by following a rule. As described in that post, this was a step-wise process: look at a number, find its successor, look at the new number, find its successor, repeat ad infinitum. Now, obviously, given a finite amount of time there would be no way to perform this process enough times to generate every Natural number, since every new number we create would still have yet another number succeeding it.

But what if we want to discuss the whole set of Natural numbers?

As we just noted, we cannot construct the Natural numbers in a step-wise manner in order to get all of them. However, mathematicians like Ernst Zermelo, Abraham Fraenkel, and Thoralf Skolem devised a very clever way to take the very same ideas from our step-wise construction in order to discuss a whole, completed set. We refer to this notion as the Axiom of Infinity, and it is one of the premises which underlies the vast majority of modern mathematics.