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