Comment on

<- View Parent
for_some_delta@beehaw.org ⁨5⁩ ⁨weeks⁩ ago

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

source
Sort:hotnewtop