Hacker News new | ask | show | jobs
by jpt4 2222 days ago
You may also be interested in Willard's Self-Verifying Theories: https://en.wikipedia.org/wiki/Self-verifying_theories