Uno de estos axiomas fue una formalización del principio de la inducción matemática.