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 logic(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)
• Peano axioms(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)
• Turing machine(links |edit)
• Transfinite induction(links |edit)
• Theorem(links |edit)
• Uncountable set(links |edit)