Teoria dos conjuntos/Axioma do par: diferenças entre revisões

Com os axiomas apresentados até agora (o axioma que diz que ''existe um conjunto'', o [[Teoria dos conjuntos/Axioma da extensão|axioma da extensão]] e o [[Teoria dos conjuntos/Axioma da separação|axioma da separação]]), já pudemos mostrar que o conjunto vazio, <math>\varnothing\,</math>, existe e é único.

 

 

Uma teoria dos conjuntos cujo único conjunto seja o conjunto vazio não serve para muita coisa. Seria interessante haver pelo menos outro conjunto, e o candidato natural é o conjunto cujo único elemento é o próprio conjunto vazio.