Frankly, I'm surprise you guys have gotten this far without clearly explaining to Mr. Dutton that "1" is undefined.
The statement "1 is a natural number." is used to define "natural number." It is not used to define "1." "1" is not defined. "1" is never defined. At no point is "1" defined. We...