Sea x0 ≡ x∪{x} y sabemos que z ∈ {x} Ø z = x, entonces podemos demostrar el teorema que dice:

Teorema. 0∈Ω∧
V
x(x ∈ Ω Ñ x ∈ Ω) (Caso del bien fundado).
0

0
(1) V⊂ x ∧ u 6= ∅ ∧ u = {x}
u Hipótesis 1
(2) Vv(v ∈ u Ñ v ∈ x ∨ v = x) R(2)
(3) v(v Ø∈ u Ñ
v ∈ ∅) u=∅ Extensionalidad
(4) ¬
V
W v(v ∈ u Ø v ∈ ∅) MT(1,3)
(5) v¬(v Ø∈ u v ∈ ∅) NG(4)
(6)
W
W v¬((v Ñ∈ u v ∈ ∅) ∧ (v ∈ ∅Ñ v ∈ u)) DM
(7) Wv¬((v 6∈ u ∨ v ∈ ∅) ∧ (v 6∈ ∅ ∨ v ∈ u)) DM
(8) Wv(¬(v 6∈ u ∨ v ∈ ∅) ∨ ¬(v 6∈ ∅ ∨ v ∈ u)) DM
(9) v((v ∈ u ∧ v 6∈ ∅) ∨ (v ∈ ∅ ∧ v 6∈ u)) DM
(10) (v ∈ u ∧ v 6∈ ∅) ∨ (v ∈ ∅ ∧ v 6∈ u) EP(9)
(11) vV∈ ∅ ∧ v 6∈ u Hipótesis 2
(12) v(v 6∈ ∅) Teorema
(13) v 6∈ ∅ Contradicción con (11)
(14) ¬(v ∈ ∅ ∧ v 6∈ u) DRA(11)
(15) vW∈ u ∧ v 6∈ ∅ MTP(14,10)
(16) v(v ∈ u) EC(15),IP, Nuevo teorema
(17) v ∈x∨v =x EP(16), MP(16,2)
(18) v ∈ {x} ETI(1,16)
(19) v=x Teorema
(20) x ∩ {x} = ∅ Teorema
(21) v∩u=∅ ETI de (1,19) con (20)
(22) vW∈ u ∧ v ∩ u = ∅ IC(21,16)
(23) v(v ∈ u ∧ v ∩ u = ∅) IP(22)
(24) u ⊂ x0 ∧ u 6= ∅ ∧ u = {x}Ñ
0 ∧ u 6= ∅ ∧ u 6= {x}
W
v(v ∈ u ∧ v ∩ u = ∅) DSA(1)
(25) u
W ⊂ x Hipótesis 3
(26) w((w ∈ u ∧ w 6∈ {x}) ∨ (w 6∈ u ∧ w ∈ {x})) Por teorema nuevo en (1)
(27) w ∈ u ∧ w 6∈ {x}
(28) w ∈ u ∧ w 6= x
(29) w =x∨w ∈x
(30) w∈x MTP
(31) w ∈x∧w ∈u
(32) u ∩ x 6= ∅ Por teorema nuevo
(33) W∩ x ⊂ x
u Fácil de probar
(34) v(v ∈ u ∩ x ∧ v ∩ (u ∩ x) 6= ∅) IC e Hipótesis del teorema
(35) v ∈u∩x
(36) vW∈ u ∧ v ∈ x
(37) z(z ∈ u ∩ v) Hipótesis 4
(38) z ∈u∧z ∈v
(39) z ∈x∨z =x
(40) z=x
(41) z∈v
(42) V∈ v
x ETI(41,42)
(43) Ñ
v(v ∈ x v ⊂ x) Transitividad de v por (36)
(44) Ñ
v∈x v⊂x
(45) vV⊂ x
(46) Ñ
z(z ∈ v z ∈ x)
(47) Ñ
z∈v z∈x

1
(48) x∈v Ñ x∈x ETI(47,40)
(49) x 6∈ x Teorema
(50) x 6∈ v MTP(49,48), contradicción con H4
(51) z 6= x
(52) z∈x MTP(51,39)
(53) z ∈x∧z ∈v∧z ∈u IC(52,38)
(54) v ∩ (u ∩ x) 6= ∅ Por teorema nuevo, contradicción con (34)
(55) u∩v =∅
(56) vW∈ u ∧ u ∩ v = ∅ IC(36),55
(57) v(v ∈ u ∧ u ∩ v = W
Ñ
∅)
(58) w ∈ v ∧ w 6∈ {x} v(v ∈ u ∧ u ∩ v = ∅)
(59) w 6∈ v ∧ w ∈ {x}
(60) W6∈ u
x ETI(59)
(61) z(z ∈ u) Por Hipótesis 3
(62) z =x∨x∈x
(63) z=x
(64) x∈u Contradicción con (60)
(65) z 6= x
(66) z∈x MTP(65,62)
(67) z ∈x∧z ∈u IC(66,61)
(68) u ∩ x 6= ∅
(69) w
W ∈
6 v ∧ w ∈ Ñ
{x}
W
v(v ∈ u ∧ u ∩ v = ∅) Por los renglones del (33) al (57)
(70) v(v ∈ u ∧ u ∩ v = ∅)
(71) (u ⊂ x0 ∧ u 6= ∅) ∧W(u = {x} ∨ u 6= {x}) Ñ W
v(v ∈ u ∧ u ∩ v = ∅)
(72) u ⊂ x Ñ
0 ∧ u 6= ∅ v(v ∈ u ∧ u ∩ v =
Ñ
∅)
u(u ⊂ x0 ∧ u 6= ∅
V W
(73) v(v ∈ u ∧ u ∩ v = ∅))

[1] Ivorra Castillo, Lógica Matemática, España.