News for hackers. Stuff that matters.

A comment on Elementary Calculus: An Infinitesimal Approach (2000). Parent comment

Re:Elementary Calculus: An Infinitesimal Approach (2000) by mcguire on Thursday June 03, 2021 @02:09PM (#27385163)
A proof of existence for any number?
[ Parent | on HN ]
Re:Elementary Calculus: An Infinitesimal Approach (2000) by andi999 on Friday June 04, 2021 @03:04AM (#27391352)
if you assume ZF, then 1={0} and existence follows from existence of empty set.
[ Parent | on HN ]