MathLabs

Foundations of mathematics

Logic, sets and the formal systems that every other branch of mathematics is built on.

Mathematical logic4 topics
  1. Propositions and logical reasoningHigh school09/28/2026, 09:32 AM
  2. Predicate logicUndergraduate09/28/2026, 04:24 PM
  3. Gödel's incompleteness theoremsAdvanced09/28/2026, 04:24 PM
  4. Model theoryResearch09/28/2026, 04:24 PM
Set theory4 topics
  1. Sets and set operationsMiddle school09/28/2026, 09:32 AM
  2. Functions and cardinalityUndergraduate09/28/2026, 04:24 PM
  3. The ZFC axiomsAdvanced09/28/2026, 04:24 PM
  4. Ordinal and cardinal numbersAdvanced09/28/2026, 04:24 PM
Computability and proof3 topics
  1. Recursive functions and Turing machinesUndergraduate09/28/2026, 04:24 PM
  2. Type theoryResearch09/28/2026, 04:24 PM
  3. Formal proof with proof assistants (Lean)Advanced09/28/2026, 04:24 PM
Category theory2 topics
  1. Categories and functorsAdvanced09/28/2026, 04:24 PM
  2. The Yoneda lemmaResearch09/28/2026, 04:24 PM