Em teoria axiomática dos conjuntos, o
axioma do conjunto vazio é um postulado lógico para garantir, formalmente, a existência de um
conjunto sem elementos. O
axioma possui, usando-se a linguagem da lógica formal, o seguinte enunciado:
Em palavras,
- Existe um conjunto sem elemento algum.