Mention CZF in mmil.html
Mention CZF in mmil.html

This is a paragraph taken from the into to the set theory
section of iset.mm

This change suggested by Benoit Jubin

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