~f (f) = Φ(f) Def.

Φ(Φ) = :. ~ Φ(Φ)(Ƒ)
Die Sätze “Φ(Φ)” & “~Φ(Φ)” scheinen uns einmal das Gleiche & einmal manchmal , manchmal [e|E]cntgegengesetztes zu sagen. (Jenachdem wir ihn ansehen scheint der Satz “Φ(Φ)” einmal zu sagen, ~ Φ(Φ), einmal das Gegenteil davon. Und zwar sehen wir ihn einmal an als das Substitutionsprodukt
Φ(f) ❘
f
Φ

ein andermal als:
f(f) ❘
f
Φ