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!
0
