What this edition contains
This complete accessible English edition includes all 79 planned reader items. Its 78 mathematical chapters contain 34,391 frozen-census formula occurrences and 3,020 formal objects. The HTML edition passed independent static and silent runtime acceptance. The synchronized EPUB 3.3 edition passed EPUBCheck, Ace by DAISY, independent source-and-anchor replay, and silent archived-book runtime acceptance.
The equation guides contain 14,610 chapter entries representing 10,348 stable census expression identifiers across all 78 mathematical chapters. 501 source-generated math objects and five complete source-composite formulas are recorded separately. First-order Axiomatic Deduction contributes 209 entries; First-order Tableaux contributes 275, First-order Natural Deduction contributes 279, and First-order Sequent Calculus contributes 394; First-order Completeness contributes 309; Beyond First-order Logic contributes 152; Basics of Model Theory contributes 223; Models of Arithmetic contributes 343.
The source is licensed under CC BY 4.0. This adaptation preserves attribution and immutable source files.
Accessibility design
- Read uses headings, landmarks, exact source links, and native unflattened MathML.
- Listen / words only follows source order and replaces every formal occurrence, truth table, proof tree, tableau, and derivation with reviewed words.
- Explore exposes every expression, formal object, occurrence, and resolved reference.
- Source and provenance preserves line-addressable source. The 70 accepted-slice chapters include byte-exact accepted projected slices and exact source-coordinate crosswalks; their crosswalks are not represented as complete copies of every upstream source file.
Limitations
No prerecorded audio is included. This edition has not been tested hands-on with every screen reader, braille display, voice-control system, dedicated magnifier, or speech engine.
TR-024 checkpoint
The First-Order Completeness chapter is integrated with 832 formula occurrences, 309 expression records, 52 formal objects, 114 resolved references, and a 16,815-word reviewed Listen stream. Source bytes remain immutable.
TR-025–TR-027 batch checkpoint
Beyond First-order Logic, Basics of Model Theory, and Models of Arithmetic are integrated as one source-closed batch: 1,562 formulas, 718 expression records, 82 formal objects, 33 references, and 23 words-only source streams. Source bytes remain immutable.
TR-028–TR-032 contiguous batch checkpoint
The Interpolation Theorem, Lindström's Theorem, Recursive Functions, Computability Theory, and Turing Machine Computations are integrated as one source-closed batch: 3,196 formulas, 1,367 expression records, 213 formal objects, 95 references, 16 authored diagram descriptions, and 64 continuous words-only source streams. Immutable source bytes and stable identities are preserved.
TR-033 Undecidability checkpoint
Undecidability adds 879 formulas, 264 expression records, 52 formal objects, 43 references, 30 disclosed reader corrections, three authored nonvisual diagram descriptions, 13 unsolved exercises, and ten continuous words-only source streams totaling 18,963 words. Immutable source bytes and stable identities are preserved.
TR-034 Introduction to Incompleteness checkpoint
Introduction to Incompleteness adds 346 formulas, 134 expression records, 19 formal objects, 25 disclosed reader corrections including 6 native-MathML repairs, one unsolved exercise, and five continuous words-only source streams totaling 9,961 words. Immutable source bytes and stable identities are preserved.
TR-035 Arithmetization of Syntax checkpoint
Arithmetization of Syntax adds 748 formulas, 314 expression records, 66 formal objects, seven unsolved exercises, four proof trees, two tables and one derivation. Twenty source-derived reader corrections are enacted and eight source anomalies are preserved with explicit notes. Nine continuous listener streams contain 13,925 words. Immutable source bytes and stable formula IDs are preserved.
TR-036–TR-044 batch checkpoint
Nine chapters add 4,016 source-census formula occurrences, 1,849 expression records, 304 formal objects, 232 references and 40 unsolved exercises. All 82 new source files are preserved byte-for-byte. Their continuous words-only streams contain 69,624 words. Six enacted reader corrections and 61 preserved anomaly notes remain disclosed. Source-generated case headings and complete source-composite formulas retain native MathML and exact source bindings.
TR-045–TR-049 and Propositional Logic part-wrapper checkpoint
Five chapters add 1,670 frozen-census formula occurrences, 678 expression records, 185 formal objects, 38 references, 34 ordered tables, 29 proof trees, and 100 separately accounted source-generated mathematical components. Their continuous words-only streams contain 29,826 words. The source-owned Propositional Logic part introduction adds two reader formula occurrences and 101 Listen words without inventing a chapter or changing their frozen census provenance.
TR-050–TR-079 producer-candidate assembly
Thirty independently accepted semantic packets add 9,938 formula occurrences, 4,461 expression records, 784 formal objects, 33 ordered tables, 75 proof trees, 18 derivations, 10 tableaux, and 38 source-authored graphs or diagrams. All four Read, Listen, Explore, and Source routes are assembled for every chapter. This material is included in the independently audited complete accessible English edition.