Pages that link to "T-schema"

Showing 50 items.

• Axiom of choice (links | edit)
• Axiom (links | edit)
• Kolmogorov complexity (links | edit)
• Automated theorem proving (links | edit)
• Bijection (links | edit)
• Binary operation (links | edit)
• Naive set theory (links | edit)
• Continuum hypothesis (links | edit)
• Countable set (links | edit)
• Cardinal number (links | edit)
• Cardinality (links | edit)
• Church–Turing thesis (links | edit)
• Logical disjunction (links | edit)
• Decision problem (links | edit)
• Equivalence relation (links | edit)
• Empty set (links | edit)
• Entscheidungsproblem (links | edit)
• Formal language (links | edit)
• First-order logic (links | edit)
• Finite set (links | edit)
• Gödel's completeness theorem (links | edit)
• Law of noncontradiction (links | edit)
• Law of excluded middle (links | edit)
• Logical conjunction (links | edit)
• Logical connective (links | edit)
• Propositional calculus (links | edit)
• Lambda calculus (links | edit)
• Lemma (mathematics) (links | edit)
• Mathematical induction (links | edit)
• Finitary relation (links | edit)
• Mathematical logic (links | edit)
• Model theory (links | edit)
• Class (set theory) (links | edit)
• NP (complexity) (links | edit)
• Ordered pair (links | edit)
• Power set (links | edit)
• Principia Mathematica (links | edit)
• Primitive recursive function (links | edit)
• Recursion (links | edit)
• Proof by contradiction (links | edit)
• Set (mathematics) (links | edit)
• Soundness (links | edit)
• Set theory (links | edit)
• Subset (links | edit)
• Surjective function (links | edit)
• Truth (links | edit)
• Turing machine (links | edit)
• Transfinite induction (links | edit)
• Theorem (links | edit)
• Uncountable set (links | edit)