/  
9.
Weyls Widerspruch „heterologisch”:

~Φ(„Φ”) ≝ „Φ” ist heterologisch ≝ F(„Φ”)

~ = F(“F”) = ~ F(“F”) = ~ [ ~
(
^
Φ

~
^
Φ
(„
^
Φ
”)
)
(„
^
Φ

~
^
Φ
(„
^
Φ
”)
”)