Registry · Definition II.D92 established planned

II.D92 — Mode E Catalog

Catalog of 13 Mode E (Earned) results: constructions that both frameworks prove, but tau derives from fewer axioms. Includes induction, Euclidean geometry, number tower, and topos structure.

Book II Part 11 Ch. 65

Dependency Graph

Depends on (17)

I.T05 I.T08 I.T10 I.T19 I.T31 I.D07 I.D34 I.D84 II.T06 II.T07 II.T15 II.T22 II.T27 II.T40 II.D14 II.D22 II.D64

Depended on by (2)

II.R39 II.D93

Lean Formalization

Module:

Symbol: