Ripheus23

"X is a set" becomes "X has at least one element Y."

*Regarding zero: Z = {Z}, Z ~= element of ~Z, for all X, if X is not Z then X ~= an element of Z. "Zero is an element of itself, is not an element of any other set, and has no other elements besides itself." By contrast, "The ur-element is not an element of itself, is an element of only one set, and is the only element of that set" = 1.