--- title: Logical Foundations of Mathematics description: This topic examines the axiomatic foundations and logical systems that underpin mathematical reasoning. You will understand the historical development of set theory, proof theory, and model theory, and how they address questions of mathematical truth and consistency. category: mathematics subcategory: mathematical-logic difficulty: beginner, intermediate, advanced url: /subject/logical-foundations-of-mathematics --- # Logical Foundations of Mathematics This topic examines the axiomatic foundations and logical systems that underpin mathematical reasoning. You will understand the historical development of set theory, proof theory, and model theory, and how they address questions of mathematical truth and consistency. ## Available Resources 3 Books • 3 Courses • 3 Websites ## Websites ### 1. nLab: Foundations of Mathematics Wiki entry from the nLab, a collaborative category theory research wiki, surveying foundational systems for mathematics: ZFC and other set theories, structural set theory such as ETCS, type theory, and homotopy type theory. Readers learn how these foundations compare and relate. **Difficulty:** Beginner | **Price:** Free **Link:** https://ncatlab.org/nlab/show/foundations+of+mathematics **Tags:** foundations-of-mathematics, set-theory, type-theory, homotopy-type-theory, category-theory ### 2. Wolfram MathWorld **Author:** Eric W. Weisstein MathWorld is an online mathematics encyclopedia from Wolfram Research offering detailed, browsable articles on topics across the math spectrum, including algebra, geometry, calculus, and number theory. Each entry includes definitions, theorems, formulas, diagrams, worked examples, and links to further reading. **Difficulty:** Intermediate | **Language:** English | **Price:** Free **Link:** https://mathworld.wolfram.com **Tags:** mathematics-reference, encyclopedia, abstract-algebra, number-theory, geometry ### 3. plato.stanford.edu The Stanford Encyclopedia of Philosophy is a peer‑reviewed online encyclopedia of philosophy featuring in‑depth, scholarly articles written and regularly updated by experts, including comprehensive coverage of logic topics. **Difficulty:** Intermediate | **Language:** English | **Price:** Free **Link:** https://plato.stanford.edu **Tags:** websites, mathematics-statistics, discrete-math ## Courses ### 1. Theory of Computation (MIT 18.404J) **Author:** Michael Sipser Sipser's course on automata, computability and complexity: regular and context-free languages, decidability, reducibility, the recursion theorem, time and space complexity, NP-completeness, hierarchy theorems, probabilistic computation and interactive proofs. 25 lecture videos, slides, problem sets and exams support rigorous proof-based study. **Difficulty:** Intermediate | **Price:** Free **Link:** https://ocw.mit.edu/courses/18-404j-theory-of-computation-fall-2020/ **Tags:** automata-theory, computability, decidability, complexity-theory, np-completeness ### 2. Logic for Computer Science A Coursera course from BITS Pilani on computational logic: propositional and predicate logic, natural deduction, soundness and completeness, undecidability, LTL and CTL model checking, and Floyd-Hoare program verification. Learners can write formal proofs and verify properties of algorithms and systems. **Difficulty:** Intermediate | **Language:** English | **Price:** Free **Link:** https://www.coursera.org/learn/bits-logic-for-computer-science **Tags:** propositional-logic, predicate-logic, model-checking, temporal-logic, hoare-logic, program-verification ### 3. Introduction to Mathematical Thinking **Author:** Keith Devlin Stanford course by Keith Devlin on how mathematicians reason, starting with the logic of language (and, or, not, implication, quantifiers) and moving to the structure of proofs, including contradiction and induction. Learners become able to read, construct and critique simple mathematical proofs. **Difficulty:** Beginner | **Language:** English | **Duration:** Expect to require at least 10 hours of study per week to complete this course satisfactorily. | **Price:** Free **Link:** https://www.coursera.org/learn/mathematical-thinking **Tags:** mathematical-logic, proof-writing, quantifiers, mathematical-reasoning ## Books ### 1. Homotopy Type Theory: Univalent Foundations of Mathematics **Author:** The Univalent Foundations Program Collaborative exposition written during the Institute for Advanced Study's Univalent Foundations year, presenting type theory as a foundation whose types behave like homotopy types. Covers identity types, the univalence axiom, higher inductive types, and formalised set and homotopy theory. **Difficulty:** Advanced | **Language:** English | **Price:** Free **Link:** https://homotopytypetheory.org/book/ **Tags:** homotopy-type-theory, univalence-axiom, higher-inductive-types, type-theory, foundations-of-mathematics ### 2. How to Prove It - Daniel J. Velleman **Author:** Daniel J. Velleman A clear, step-by-step transition from computational math to proof-based math, focusing on logic and set theory. **Difficulty:** Beginner | **Language:** English | **Price:** Paid **Link:** https://amzn.to/4qN7iYh **Tags:** proof-writing, mathematical-logic, set-theory, mathematical-induction, discrete-mathematics ### 3. Foundations of Mathematics **Author:** Ian Stewart, David Tall An undergraduate bridge text by two Warwick mathematicians covering sets, relations, functions, the construction of number systems, induction, cardinality and axiomatic reasoning. Readers learn to read and write rigorous proofs and see how real numbers are built from naturals. **Difficulty:** Intermediate | **Language:** English | **Price:** Paid **Link:** https://www.amazon.com/dp/0198531656?tag=edmonddante07-20 **Tags:** books, mathematics-statistics, mathematical-logic --- *This content is part of Dantes.io - Your Treasure Map to Knowledge* *Curated by humans at Dantes.io. Personal study use welcome; republishing this curation requires permission (team@dantes.io).* View this page online: https://dantes.io/subject/logical-foundations-of-mathematics