Teoria dos conjuntos/Axioma da separação: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Versão inicial, copiando e expandindo da Wikipedia |
Exercício |
||
Linha 62:
A propriedade associativa demanda um pouco mais de trabalho:
: <math>\forall x, y, z, (x \cap (y \cap z) = (x \cap y) \cap z)\,</math>
== Exercício ==
* Mostre que não existe o ''conjunto de todos os conjuntos''. Em outras palavras, para todo conjunto ''x'', existe algum conjunto ''y'' tal que <math>y \not\in x\,</math>. Sugestão: a prova é por contradição e usa o axioma da regularidade e a ideia do paradoxo de Russel.
== Ver também ==
| |||