They're defined relative to the axioms. In this case he is using the standard arithmetic & set theoretic constructions to define the terms & functions he's talking about. It's logically sound, whether it makes physical sense or not is another matter.