Und die Eigenschaft ε', welches die Eigenschaft einer Eigenschaft sein soll, sich nicht selbst zu besitzen, kann also so definiert werden:
ε'(f) = (∃a):.(x):f(x) ⊃ x ≠ a wobei a ˇa f

Und ε'(ε') = (∃a) :. (φ) : ε'(φ) ⊃ φ ≠ a wobei aε' =

= (∃a):∙:(φ)∷(∃b) :. (y): φy ⊃ y ≠ b wobei bφ

ε'(f) = (x): (f(x) ⌵ ~ f(x)) ⊃ ~

f(f) = (∃x): [(|[] f(x) ⌵ ~f(x) . ⊃ . wobei fx ]

~ ∙ f(f) = (x): (f(x) ⌵ ~f(x). ⊃ . ~ fx