User:Vlenceleuth/Books/Mathematics - Working Foundations


 * Peano Axioms
 * Peano axioms
 * Giuseppe Peano


 * Mathematical Induction
 * Mathematical induction
 * Structural induction
 * Recursive definition


 * Naive Set Theory
 * Naive set theory
 * Element (mathematics)
 * Urelement
 * Singleton (mathematics)
 * Simple theorems in the algebra of sets
 * Algebra of sets
 * Power set
 * Empty set
 * Empty function


 * Universe
 * Universe (mathematics)


 * Axiomatic System
 * Axiomatic system
 * Axiom schema


 * Formal System
 * Formal system


 * Mathematical Proof
 * Mathematical proof
 * Direct proof
 * Reductio ad absurdum
 * Proof by exhaustion
 * Constructive proof


 * Tautology
 * Tautology (logic)


 * Consistency Proof
 * Consistency


 * Arithmetization of Analysis
 * Arithmetization of analysis


 * Foundations of Mathematics
 * Foundations of mathematics


 * Formal Language
 * Formal language


 * Principia Mathematica
 * Principia Mathematica


 * Hilbert's Program
 * Hilbert's program


 * Impredicative
 * Impredicativity


 * Definable Real Number
 * Definable real number


 * Algebraic Logic
 * Algebraic logic
 * Boolean algebra


 * Dialectica Space
 * Dialectica space


 * Categorical Logic
 * Categorical logic