axiomas y teoremas Flashcards
1
Q
Si y y z tienen los mismos elementos entonces son iguales.
∀y∀z(∀x(x∈y⟺x∈z)→y=z)
A
Axioma extensionalidad.
2
Q
¬∃y∀x(x∈y⟺x no pertenece a x)
A
Teorema antimonia de Russel
3
Q
∀z∃y∀x(x∈y⟺∃w(w∈z∧x∈w))
A
Axioma Union
4
Q
A⊆B⟺∀z(z∈A→z∈B)
A
Definition de subconjunto
5
Q
∀z∃y∀x(x∈y⟺x⊆z)
A
Axioma del conjunto potencia
6
Q
¬∃xA(x)
A
algo no satisface la propiedad A
7
Q
∃xA(x)
A
Algo satisface la propiedad A
8
Q
∀xA(x)
A
Todo satisface la propiedad A
9
Q
∃x¬A(x)
A
Algo no satisface la propiedad a
