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.

Book II Part 11 Ch. 65

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: