Teoría de Conjuntos

Axiomática de Zermelo-Fraenkel 8