Comment on

<- View Parent
for_some_delta@beehaw.org ⁨2⁩ ⁨months⁩ ago

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

source
Sort:hotnewtop