Comment on

<- View Parent
for_some_delta@beehaw.org ⁨1⁩ ⁨month⁩ ago

I assume the missing statement is throw out the Peano axioms.

source
Sort:hotnewtop