Teoria de conjuntos de Zermelo: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 79:
{{Main|Axioma do infinito}}
Existe um conjunto <math style="vertical-align:-20%;">y</math> que contém o conjunto vazio
<math style="vertical-align:0%;">\varnothing</math>, e para cada <math style="vertical-align:-20%;">x \in y</math>, <math style="vertical-align:-25%;">\{x\}</math> também pertence a <math style="vertical-align:-25%;">y</math>. Note que Zermelo usa <math style="vertical-align:-20%;">\{x\}</math> como o ''sucessor'' de <math style="vertical-align:0%;">x</math> na sequência numérica (''Zahlenreihe''). A definição habitual, que provém de [[von Neumann]], define sucessor de maneira diferente como <math style="vertical-align:-20%;">x \cup \{ x \} </math>.
: <math> \exists y \left( ( \varnothing \in y ) \wedge \forall x ( x \in y
\Rightarrow \{ x \} \in y ) \right) </math>
| |||