A minimal, trusted core that checks whether mathematical proofs are valid, rejecting any false claims.