Hacker News Reader

I can prove a subset of peano arithmetic is complete and consistent though. And that’s usually enough.

Not using that same subset, however (unless working with a Self-Verifying Theory [0]).