mmzfcnd.html - added link to Benoit Judin s proof of Axiom of Twoness necessity
mmzfcnd.html - added link to Benoit Judin s proof of Axiom of Twoness necessity

metamath/set.mm,metamath/set.mm,metamath/set.mm