if you assume ZF, then 1={0} and existence follows from existence of empty set.

		andi999 on June 4, 2021 \| parent \| context \| favorite \| on: Elementary Calculus: An Infinitesimal Approach (20... if you assume ZF, then 1={0} and existence follows from existence of empty set.