2 ms·
I can prove a subset of peano arithmetic is complete and consistent though. And that’s usually enough.
by VirusNewbie 3y ago
I can prove a subset of peano arithmetic is complete and consistent though. And that’s usually enough.
- jpt4 3y agoNot using that same subset, however (unless working with a Self-Verifying Theory [0]). [0] https://en.wikipedia.org/wiki/Self-verifying_theories https://en.wikipedia.org/wiki/Self-verifying_theories