Registry · Theorem
IV.T374
established
not_formalized
IV.T374 — Unchanged Core
The following are identical between editions: enumerate The seven axioms (K0--K6) The Central Theorem:
Book IV
Part 5
Ch. 44