N_CC in { f where f is Fuzzy_Negation : verum } ;
hence ( not Fuzzy_Negations is empty & Fuzzy_Negations is reflexive & Fuzzy_Negations is transitive & Fuzzy_Negations is antisymmetric ) by FuzNegDef; :: thesis: verum