All x,H is ZF-formula-like

proof

H is Element of WFF by Def9;
hence All x,H is Element of WFF by Def8; :: according to ZF_LANG:def 9 :: thesis: verum

end;

hence All x,H is ZF-formula-like ; :: thesis: verum