Source: wikibot/self-verifying-theories

= Self-verifying theories
{wiki=Self-verifying_theories}