Teoria dos conjuntos/Axioma da união: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
m →Sucessor, e os números de 3 a 9: nome do santo |
m exercício |
||
Linha 47:
Com os axiomas até agora vistos, falta pouco para poder construir um ''modelo'' da {{w|Aritmética de Peano}} - falta demonstrar que existe um conjunto dos números naturais.
== Exercício ==
Sejam ''A'' e ''a'' conjuntos, e seja <math>B = A \cup \{ a \}\,</math>. Mostre que
: <math>\bigcup_{x \in B} x = \bigcup_{x \in A} x \cup a\,</math>
== Ver também ==
|