El libro comenzará con un sucinto repaso de la Axiomática de Zermelo-Fraenkel.