'not' H is ZF-formula-like

proof

H is Element of WFF by Def9;
hence 'not' H is Element of WFF by Def8; :: according to ZF_LANG:def 9 :: thesis: verum

end;

hence 'not' H is ZF-formula-like ; :: thesis: verum