Registry · Remark
II.R39
established
not_applicable
II.R39 — Epistemic Upgrade Principle
Mode E results obey the epistemic upgrade principle: if two frameworks prove the same theorem but one uses fewer axioms, that framework provides a strictly stronger explanation.