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(f) = (∃x): [ f(x) wobei fx ]

~ ∙ f(f) = (x): (f(x) fx