@mhoye you're neglecting the possibility that we only...

@mhoye you're neglecting the possibility that we only have axiomeralls for some system weaker that arithmeticerall, such as Robinson's Qerall

Like 28 March at 12:22 | Wall-to-wall | Open on mathstodon.xyz

3 comments

scmbradley

@mhoye the pedant in me compells me to return and point out I had misremembered this. Q is also incomplete. But it's weaker than Peano. So you would need even weaker axiomeralls to avoid Gödel.

28 March at 14:28 | Open on mathstodon.xyz

mhoye

@Scmbradley so you're saying the only way avoid needing Godelian Incompletenerall is microdosring.

28 March at 14:32 | Open on mastodon.social

ideaPDish

@mhoye @Scmbradley

I've been thinking lately... especially since I loosened the Gödel around my bodice and the blood returned to my brain. What a rush, the blood, I mean.

11 April at 5:36 | Open on universeodon.com

Go Up