Comment on In this essay...

<- View Parent
anton@lemmy.blahaj.zone ⁨1⁩ ⁨day⁩ ago

That axiomisation is incomplete as it doesn’t preclude stuff like loops, a predecessor to zero or a second number line.

source
Sort:hotnewtop