Weyls Widerspruch “Heterologisch”:
      nonf(“f”) ◇ “f” ist heterologisch = F(“f”) .       F(“F”) = nonF(“F”) = non[non (nonf̂(“f̂”)) (“nonf̂ (“f̂”)”)]