Axioms Course

Lesson 1 • Formal Language and Notation

Introduces symbolic notation used to express axioms precisely. Provides the linguistic tools needed for all subsequent formal work in the course.

Lesson 2 • Axioms in Everyday Reasoning

Connects formal axioms to implicit assumptions in daily logic and professional decisions. Shows students how axiomatic thinking already operates in practice.

Lesson 3 • Core Properties of Valid Axioms

Examines consistency, independence, and completeness as criteria for well-formed axiom sets. Learners learn to evaluate whether a proposed axiom is fit for purpose.

Lesson 1 • Propositional Logic Axioms

Covers the axiom schemas of classical propositional logic and their inference rules. Links symbolic axioms to truth-preserving deduction.

Lesson 2 • Set-Theoretic Axiom Systems

Introduces foundational set-theory axioms that underlie modern mathematics. Students see how abstract axioms define the concept of a set.

Lesson 3 • Arithmetic Axiom Systems

Presents the Peano-style axioms for natural number arithmetic. Connects axiomatic definitions to familiar numerical operations.

Lesson 4 • Euclidean Geometry Axioms

Analyses the five postulates of Euclidean geometry as a model of axiomatic structure. Demonstrates how a small axiom set generates an entire geometric theory.

Lesson 1 • Paraconsistent and Fuzzy Axioms

Covers axiom systems tolerating contradiction or degrees of truth. Prepares students to reason formally in ambiguous or inconsistent domains.

Lesson 2 • Intuitionistic Logic Axioms

Presents intuitionistic logic, which rejects the law of excluded middle. Learners learn how constructive proof requirements alter the axiom set.

Lesson 3 • Modal Logic Axiom Families

Introduces necessity and possibility operators and their governing axioms. Learners map axiom choices to distinct modal systems.

Lesson 1 • Proof by Mathematical Induction

Uses the induction axiom to prove statements over infinite domains. Connects directly to the arithmetic axioms introduced earlier.

Lesson 2 • Proof by Construction

Proves existence claims by explicitly building the required object from axioms. Aligns with constructive logic principles covered in Chapter 3.

Lesson 3 • Proof Checking and Verification

Teaches systematic review of proofs for gaps, circular reasoning, and axiom misuse. Learners develop critical reading skills for formal arguments.

Lesson 4 • Proof by Contradiction

Derives theorems by assuming the negation and reaching a contradiction with axioms. Learners practise identifying the right negation to assume.

Lesson 1 • Consistency and Its Proofs

Defines consistency formally and surveys methods for proving a system free of contradiction. Grounds students in the most fundamental requirement of any axiom set.

Lesson 2 • Incompleteness Results

Presents the two incompleteness theorems showing limits of sufficiently powerful formal systems. Learners understand why no single axiom set can capture all arithmetic truth.

Lesson 3 • Completeness Theorems

Covers semantic and syntactic completeness and the landmark completeness result for first-order logic. Learners distinguish what completeness guarantees versus what it does not.

Lesson 1 • Criteria for Choosing Axioms

Establishes principled criteria—parsimony, expressiveness, and naturalness—for selecting axioms. Guides students in evaluating competing axiom candidates.

Lesson 2 • Designing Domain-Specific Axioms

Applies axiom design principles to a chosen domain such as geometry, algebra, or databases. Learners produce a small, justified axiom set for a real application.

Lesson 3 • Evaluating Competing Axiom Sets

Compares alternative axiom sets for the same domain on consistency, completeness, and usability. Learners argue for a preferred set using formal and practical criteria.

Lesson 4 • Extending Existing Axiom Systems

Covers conservative and non-conservative extensions and their effects on provability. Learners learn when adding axioms is safe versus disruptive.

Lesson 1 • Axioms in Scientific Modelling

Frames scientific theories as axiom sets and evaluates their consistency with observations. Learners apply axiomatic critique to theoretical models.

Lesson 2 • Axioms in Software Specification

Uses axiomatic methods to specify software behaviour precisely and detect design flaws early. Connects formal axioms to practical software engineering workflows.

Lesson 3 • Axiomatic Approaches to Decision Theory

Presents rationality axioms underlying expected utility and social choice theory. Learners evaluate decisions against formal axiomatic standards.

Lesson 4 • Case Studies in Axiomatic Failure

Analyses historical cases where flawed axiom sets led to errors or paradoxes. Learners extract lessons for robust axiom design.

Lesson 1 • Categorical Foundations

Presents category theory as an alternative axiomatic foundation to set theory. Learners compare categorical and set-theoretic axioms for expressiveness.

Lesson 2 • Open Problems in Axiomatic Foundations

Surveys unresolved questions including the continuum hypothesis and consistency of large cardinals. Learners formulate informed positions on foundational debates.

Lesson 3 • Forcing and Independence Proofs

Explains the forcing technique used to prove independence of axioms from a base system. Learners follow the logic of a forcing argument at a conceptual level.

Lesson 4 • Large Cardinal Axioms

Introduces large cardinal axioms that extend standard set theory beyond provable consistency. Learners assess the philosophical and mathematical stakes of adopting them.