Add nndc to iset.mm
Add nndc to iset.mm

A natural number is zero or nonzero. The corresponding theorem
for two arbitrary natural numbers is more involved, but we
can start with this.

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