Estos principios básicos son los axiomas de la teoría de conjuntos de Zermelo-Fraenkel.