Read the notes, then try the practice. It adapts as you go.When you're ready.
Session Length
~17 min
Adaptive Checks
15 questions
Transfer Probes
8
Mathematical logic is the branch of mathematics that studies formal systems, symbolic reasoning, and the foundations of mathematics itself. It provides the rigorous framework through which mathematicians and computer scientists express statements, define proofs, and analyze the structure of valid arguments. The discipline emerged in the nineteenth century from the work of George Boole, Gottlob Frege, and others who sought to reduce mathematical reasoning to a precise symbolic calculus, ultimately giving rise to propositional logic, predicate logic, and formal proof theory.
The field is traditionally divided into four major sub-areas: set theory, model theory, proof theory, and computability theory (recursion theory). Set theory investigates the nature of collections and provides the axiomatic basis (most commonly Zermelo-Fraenkel with the Axiom of Choice, or ZFC) on which virtually all of modern mathematics is built. Model theory studies the relationship between formal languages and their interpretations, exploring when and how structures satisfy given sentences. Proof theory analyzes the structure of mathematical proofs themselves, while computability theory examines which problems can be solved algorithmically and which cannot.
Mathematical logic has produced some of the most profound intellectual results of the twentieth century, including Goedel's Incompleteness Theorems, which demonstrated inherent limitations in every sufficiently powerful formal system, and the Church-Turing thesis, which formalized the intuitive notion of computability. Today the field underpins programming language design, automated theorem proving, formal verification of software and hardware, database query languages, and artificial intelligence. A solid understanding of mathematical logic is essential for anyone pursuing advanced work in mathematics, computer science, philosophy, or linguistics.
One step at a time.
The branch of logic that deals with propositions (statements that are either true or false) and logical connectives such as AND, OR, NOT, IMPLIES, and IF AND ONLY IF. It provides the simplest formal system for reasoning about truth values.
Example: The compound statement 'If it is raining AND I have no umbrella, THEN I will get wet' can be symbolized as (P AND Q) -> R, and its truth value can be computed from the truth values of P, Q, and R using truth tables.
An extension of propositional logic that includes quantifiers (for all, there exists) and predicates that express properties of objects and relations among them, allowing statements about all or some elements in a domain.
Example: The statement 'Every even number greater than 2 is the sum of two primes' is expressed as: for all x, (Even(x) AND x > 2) -> exists p exists q (Prime(p) AND Prime(q) AND x = p + q). This is Goldbach's conjecture.
Two landmark theorems proved by Kurt Goedel in 1931. The first states that any consistent formal system capable of expressing basic arithmetic contains true statements that cannot be proved within the system. The second states that such a system cannot prove its own consistency.
Example: In Peano Arithmetic, Goedel constructed a sentence G that effectively says 'This sentence is not provable.' If the system is consistent, G is true but unprovable, demonstrating an inherent limitation of formal systems.
The axiomatic framework formulated by Zermelo and Fraenkel (with the Axiom of Choice) that provides the standard foundation for virtually all of modern mathematics. It defines the rules for constructing and manipulating sets.
Example: Using ZFC axioms, one can construct the natural numbers: 0 is the empty set, 1 is {empty set}, 2 is {empty set, {empty set}}, and so on, building all of arithmetic from pure set-theoretic notions.
The study of the relationship between formal languages (syntax) and their interpretations or structures (semantics). It investigates which sentences are true in which structures and how different models relate to one another.
Example: The Loewenheim-Skolem theorem shows that if a first-order theory has an infinite model, it has models of every infinite cardinality. So first-order Peano Arithmetic, intended to describe the natural numbers, also has uncountable models.
The sub-field of mathematical logic that studies mathematical proofs as formal objects. It analyzes the structure, strength, and properties of proof systems, and provides tools for showing consistency and comparing the power of different axiomatic systems.
Example: Gentzen's cut-elimination theorem shows that any proof in the sequent calculus that uses the cut rule can be transformed into a proof without it, which has deep consequences for the decidability and structure of proofs.
The branch of mathematical logic that studies which functions on the natural numbers are computable by an algorithm and which problems are decidable. It classifies problems by their degree of unsolvability using Turing machines and recursive functions.
Example: The Halting Problem is undecidable: there is no algorithm that can determine, for every program and input pair, whether the program will eventually halt or run forever. Turing proved this in 1936.
A logical system is sound if every provable statement is true in all models, and complete if every statement true in all models is provable. Goedel's Completeness Theorem (1929) establishes that first-order predicate logic is both sound and complete.
Example: In first-order logic, if a sentence is true in every possible interpretation (i.e., it is logically valid), then there exists a formal proof of that sentence from the axioms and inference rules of the system.
More terms are available in the glossary.
Choose a different way to engage with this topic — no grading, just richer thinking.
Explore your way — choose one:
See how the key ideas connect. Nodes color in as you practice.
Walk through a solved problem step-by-step. Try predicting each step before revealing it.
This is guided practice, not just a quiz. Hints and pacing adjust in real time.
Small steps add up.
What you get while practicing:
The best way to know if you understand something: explain it in your own words.
More ways to strengthen what you just learned.