Comment on

<- View Parent
for_some_delta@beehaw.org ⁨6⁩ ⁨days⁩ ago

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

source
Sort:hotnewtop