Resumiendo: A �ZF 1 si y solo si hay x ∈ A tal que x R � ∅ A �ZF 2 si y solo si x, y ∈ A y x R � y R � x � y A �ZF 3 si y solo si x, y ∈ A entonces hay z ∈ A tal que z R � �x, y� A �ZF 4 si y solo si x ∈ A entonces hay z ∈ A tal que z R � � w ∈ A | ∃y�y ∈ x R ∧ w ∈ y R � � A �ZF 5 si y solo si x ∈ A entonces hay z ∈ A tal que z R � � w ∈ A | w R ⊆ x R � A �ZF 6 si y solo si x ∈ A entonces hay z ∈ A tal que z R � � w ∈ A | w ∈ x R ∧ � A �w� � A �ZF 8 si y solo si x ∈ A entonces hay z ∈ A tal que z R � F�x R � Rieger observo la tablita anterior y se le ocurrió una condición necesaria (más no suficiente) para que A � �A, R� sea modelo de ZF − ...¡Intenta descubrir lo mismo que el antes de leer el próximo capítulo!