Remove nsyl4 from iset.mm
Remove nsyl4 from iset.mm

It depends on ax-3, pretty much duplicates con1dc in terms of
mathematical meaning, and is not currently used.

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