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 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 ]

There are no comments on this comment yet.