Interactive visualization of the complete formal theory with 1,111 axioms, 1,025 predicates, and their relationships across 45+ chapters.