Skip to content

00. General Mathematics

Language, structure, methodology, and cross-cutting tools that apply across all branches of mathematics.

mathematics foundations philosophy methods

This volume establishes the meta-layer of mathematics. It covers language, structure, methodology, and cross-cutting tools that apply across all branches. The scope follows MSC 00: classification, exposition, philosophy, and general methods.

Part I. What Mathematics Is

Chapter 1. Nature of Mathematical Objects

1.1 Abstract objects and structures 1.2 Sets, types, and universes 1.3 Equality, identity, and equivalence 1.4 Finite vs infinite objects 1.5 Constructive vs classical viewpoints

Chapter 2. Mathematical Truth

2.1 Truth vs provability

2.2 Formal systems and semantics

2.3 Consistency and completeness 2.4 Independence phenomena 2.5 Examples across fields

Chapter 3. Mathematical Language

3.1 Symbols and notation design 3.2 Formal vs informal language 3.3 Definitions and naming conventions 3.4 Precision vs readability 3.5 Notation as an interface

Part II. Structures and Abstraction

Chapter 4. Structural Thinking

4.1 Structure vs instance 4.2 Morphisms and mappings 4.3 Isomorphism as sameness 4.4 Invariants and classification 4.5 Examples: groups, spaces, graphs

Chapter 5. Levels of Abstraction

5.1 Concrete computation 5.2 Algebraic abstraction 5.3 Categorical abstraction 5.4 Meta-mathematical abstraction 5.5 Trade-offs in abstraction

Chapter 6. Patterns Across Mathematics

6.1 Duality 6.2 Symmetry and invariance 6.3 Local-to-global principles 6.4 Decomposition and composition 6.5 Recursion and induction

Part III. Methods of Reasoning

Chapter 7. Proof Techniques

7.1 Direct proof 7.2 Proof by contradiction 7.3 Induction and recursion 7.4 Constructive proofs 7.5 Probabilistic and combinatorial proofs

Chapter 8. Problem Solving Strategies

8.1 Reduction and transformation 8.2 Generalization and specialization 8.3 Analogy and transfer 8.4 Heuristics and experimentation 8.5 Counterexamples and edge cases

Chapter 9. Computation and Algorithms

9.1 Algorithmic thinking 9.2 Complexity awareness 9.3 Exact vs approximate computation 9.4 Symbolic vs numeric methods 9.5 Reproducibility and verification

Part IV. Mathematical Communication

Chapter 10. Writing Mathematics

10.1 Structure of a paper 10.2 Definitions, theorems, proofs 10.3 Clarity and minimalism 10.4 Common pitfalls 10.5 Style guidelines

Chapter 11. Visualizing Mathematics

11.1 Diagrams and graphs 11.2 Geometric intuition 11.3 Visual proofs 11.4 Limits of visualization 11.5 Tools and software

Chapter 12. Teaching and Learning

12.1 Cognitive models 12.2 Concept vs procedure 12.3 Common misconceptions 12.4 Designing exercises 12.5 Assessment strategies

Part V. Organization of Mathematics

Chapter 13. Classification Systems

13.1 MSC structure 13.2 Subject boundaries 13.3 Interdisciplinary links 13.4 Evolution of fields 13.5 Indexing and retrieval

Chapter 14. Mathematical Libraries and Data

14.1 Theorems as data 14.2 Formal libraries 14.3 Knowledge graphs 14.4 Search and indexing 14.5 Open datasets

Chapter 15. Notation and Standards

15.1 Symbol standardization 15.2 Units and conventions 15.3 File formats (LaTeX, MathML) 15.4 Interoperability 15.5 Versioning of knowledge

Part VI. Foundations and Meta-Mathematics

Chapter 16. Formal Systems

16.1 Syntax and inference rules 16.2 Axiomatic systems 16.3 Models and interpretations 16.4 Gödel-type phenomena 16.5 Limits of formalization

Chapter 17. Constructive and Computational Mathematics

17.1 Constructivism 17.2 Type theory 17.3 Proof assistants 17.4 Verified mathematics 17.5 Programs as proofs

Chapter 18. Philosophy of Mathematics

18.1 Platonism 18.2 Formalism 18.3 Intuitionism 18.4 Structuralism 18.5 Pragmatic perspectives

Part VII. Practice and Workflow

Chapter 19. Research Process

19.1 Problem selection 19.2 Literature review 19.3 Experimentation 19.4 Writing and revision 19.5 Publication process

Chapter 20. Mathematical Software

20.1 Computer algebra systems 20.2 Numerical libraries 20.3 Proof assistants 20.4 Data tools (DuckDB, etc.) 20.5 Reproducible pipelines

Chapter 21. Collaboration

21.1 Co-authorship models 21.2 Version control for math 21.3 Open science practices 21.4 Peer review 21.5 Community norms

Part VIII. Mathematics in Context

Chapter 22. Mathematics and Science

22.1 Modeling physical systems 22.2 Interaction with physics 22.3 Data-driven mathematics 22.4 Limits of models 22.5 Case studies

Chapter 23. Mathematics and Engineering

23.1 Approximation and constraints 23.2 Robustness and error 23.3 Optimization pipelines 23.4 Systems design 23.5 Real-world trade-offs

Chapter 24. Mathematics and Society

24.1 Economics and decision theory 24.2 Cryptography and security 24.3 Ethics in mathematics 24.4 Accessibility 24.5 Future directions

Appendix

A. Common notation reference B. Proof templates C. Problem-solving checklist D. Software and tools index E. MSC quick reference table

This volume acts as the entry point to all other branches. It defines how to think, write, organize, and operationalize mathematics before specializing.

01. Nature of ObjectsOverview of abstract objects, structures, equality, finiteness, and viewpoints in mathematics.
2 min
01.1 Abstract Objects and StructuresHow mathematics treats objects through the rules they satisfy, the relations they support, and the transformations that preserve them.
5 min
01.2 Sets, Types, and UniversesThree ways to organize a domain of discourse for mathematics: sets, types, and universes — and how they relate.
6 min
01.3 Equality, Identity, and EquivalenceDifferent notions of sameness in mathematics: strict equality, structural identity, and equivalence relations.
4 min
01.4 Finite vs Infinite ObjectsDistinction between finite and infinite objects, methods of reasoning, and consequences across mathematics.
4 min
01.5 Constructive vs Classical ViewpointsComparison of constructive and classical mathematics, including existence, proof, logic, and computation.
5 min
02. Mathematical TruthOverview of truth, provability, formal systems, and independence in mathematics.
2 min
02.1 Truth vs ProvabilityDistinction between semantic truth and syntactic provability, with examples and limits.
4 min
02.2 Formal Systems and SemanticsSyntax, axioms, inference rules, and the semantic interpretation of mathematical languages.
4 min
02.3 Consistency and CompletenessCore meta-properties of formal systems: avoiding contradiction and deciding statements.
4 min
02.4 IndependenceStatements that cannot be proved or refuted from a chosen axiom system, and what independence means in mathematical practice.
5 min
02.5 ExamplesHow truth, provability, consistency, completeness, and independence appear across major branches of mathematics.
3 min
03. Mathematical LanguageOverview of symbols, notation, definitions, and the balance between precision and readability.
2 min
03.1 Symbols and NotationHow mathematical symbols and notation are chosen, scoped, reused, and designed for precision and readability.
6 min
03.2 Formal vs InformalHow formal precision and informal readability work together in mathematical writing.
5 min
03.3 Definitions and NamingHow definitions introduce mathematical objects, fix meaning, and support reusable reasoning.
6 min
03.4 Precision vs ReadabilityHow mathematical writing balances exact statements with readable exposition.
6 min
03.5 Notation as InterfaceViewing notation as a designed interface that exposes structure, supports composition, and enables efficient reasoning.
5 min
04. Structural ThinkingOverview of structures, mappings, invariants, and classification in mathematics.
2 min
04.1 Structure vs InstanceDistinguishing abstract structures from their concrete instances, and using that distinction to reason across examples.
6 min
04.2 Morphisms and MappingsStructure-preserving maps, their role in comparison, composition, and transport of mathematical information.
6 min
04.3 IsomorphismHow isomorphism formalizes structural sameness and separates equality from equivalence.
6 min
04.4 InvariantsHow preserved quantities and properties support comparison, classification, and structural reasoning.
7 min
04.5 ExamplesConcrete examples showing structural thinking across algebra, topology, and graph theory.
4 min
05. Levels of AbstractionOverview of how mathematics moves from concrete computation to structural and higher-level reasoning.
2 min
05.1 Concrete ComputationWorking with explicit examples, calculations, and finite procedures as the base level of mathematical reasoning.
3 min
05.2 Algebraic AbstractionReplacing concrete values with symbols and rules to express general patterns.
3 min
05.3 Categorical AbstractionRaising abstraction from objects and operations to maps, composition, and universal properties.
3 min
05.4 Meta-Mathematical AbstractionStudying mathematical systems themselves through languages, axioms, models, proofs, and interpretations.
3 min
05.5 Trade-offs in AbstractionUnderstanding the benefits and costs of abstraction, and choosing the right level for mathematical work.
4 min
06. Patterns Across MathematicsOverview of recurring patterns such as duality, symmetry, local-to-global reasoning, decomposition, recursion, and induction.
2 min
06.1 DualityUnderstanding how reversing structure reveals parallel theories and results.
3 min
06.2 Symmetry and InvarianceHow transformations preserve structure and how invariants record what remains unchanged.
5 min
06.3 Local-to-GlobalHow mathematics studies small pieces first and then assembles them into statements about the whole.
4 min
06.4 Decomposition and CompositionBreaking complex objects into simpler parts and building larger structures from controlled combinations.
5 min
06.5 Recursion and InductionDefining objects step by step and proving properties by following the same construction.
5 min
07. Proof TechniquesOverview of the main methods used to prove mathematical statements.
2 min
07.1 Direct ProofProving a statement by starting from its assumptions and deriving its conclusion step by step.
4 min
07.2 Proof by ContradictionProving a statement by assuming its negation and deriving an impossibility.
4 min
07.3 Induction and RecursionUsing base cases and step rules to prove statements about objects built recursively.
4 min
07.4 Constructive ProofsProving existence by giving explicit witnesses, algorithms, or methods of construction.
4 min
07.5 Probabilistic and Combinatorial ProofsUsing counting, random choice, and finite structure to prove identities and existence statements.
4 min
08. Problem Solving StrategiesOverview of general methods used to approach, transform, and solve mathematical problems.
2 min
08.1 Reduction and TransformationSolving a problem by converting it into a simpler, known, or more structured form.
4 min
08.2 Generalization and SpecializationExpanding or restricting a problem to reveal structure and guide solution.
3 min
08.3 Analogy and TransferUsing structural similarity between problems to move ideas, methods, and proofs across domains.
4 min
08.4 Heuristics and ExperimentationUsing examples, informal rules, and exploratory computation to guide mathematical problem solving.
4 min
08.5 Counterexamples and Edge CasesUsing failures, boundary conditions, and extreme cases to test, refine, and understand mathematical statements.
4 min
09. Computation and AlgorithmsOverview of algorithmic thinking, computational methods, complexity, approximation, and verification in mathematics.
1 min
09.1 Algorithmic ThinkingHow to think step by step and turn mathematical ideas into clear procedures.
3 min
09.2 Complexity AwarenessUnderstanding how the cost of an algorithm grows with input size.
3 min
09.3 Exact vs Approximate ComputationWhen to compute exact results and when to use approximations.
3 min
09.4 Symbolic vs Numeric MethodsUnderstanding the difference between manipulating exact mathematical expressions and computing with numerical values.
3 min
09.5 Reproducibility and VerificationHow to make computational results repeatable, checkable, and trustworthy.
4 min
10. Writing MathematicsOverview of how to write mathematical ideas clearly, precisely, and in a useful structure.
1 min
10.1 Structure of a PaperHow a mathematical paper or article is organized so that readers can follow the main ideas.
4 min
10.2 Definitions, Theorems, ProofsHow definitions, theorems, and proofs work together in mathematical writing.
3 min
10.3 Clarity and MinimalismHow to write mathematics with enough detail, few distractions, and clear logical structure.
3 min
10.4 Common PitfallsCommon mistakes in mathematical writing and how to avoid them.
3 min
10.5 Style GuidelinesPractical rules for writing mathematics in a clear, consistent, and readable way.
3 min
00. PrefaceHow this volume defines the ground layer of mathematics: language, structure, and method before specialization.
3 min