brain

How truth, provability, consistency, completeness, and independence appear across major branches of mathematics.

Overview of abstract objects, structures, equality, finiteness, and viewpoints in mathematics.

Overview of symbols, notation, definitions, and the balance between precision and readability.

Syntax, axioms, inference rules, and the semantic interpretation of mathematical languages.

Statements that cannot be proved or refuted from a chosen axiom system, and what independence means in mathematical practice.

Core meta-properties of formal systems: avoiding contradiction and deciding statements.

Distinction between semantic truth and syntactic provability, with examples and limits.

Comparison of constructive and classical mathematics, including existence, proof, logic, and computation.

Different notions of sameness in mathematics: strict equality, structural identity, and equivalence relations.

Overview of truth, provability, formal systems, and independence in mathematics.

Distinction between finite and infinite objects, methods of reasoning, and consequences across mathematics.

Three ways to organize a domain of discourse for mathematics: sets, types, and universes — and how they relate.

How mathematics treats objects through the rules they satisfy, the relations they support, and the transformations that preserve them.

How this volume defines the ground layer of mathematics: language, structure, and method before specialization.

Quick reference with live previews for Markdown, shortcodes, and front matter.