← Mathematical handbook

Transitive axiom reports and enforced standard-foundation checks.