En la teoría axiomática de conjuntos, la existencia de conjuntos unitarios es una consecuencia del axioma del conjunto vacío y axioma de apareamiento: el primero da vacío, y el último, aplicado al apareamiento de { } y { }, produce el conjunto unitario formula_1.