[gwern]

I recently learned about https://en.wikipedia.org/wiki/Self-verifying_theories which gives you most of multiplication while still being decidable, which is pretty crazy.

[ogogmad]

That's cool, but where does it say it's decidable?

[eru]

Not on that Wikipedia page, but you might want to have a look at the papers?