Related terms:
logika
incompleteness theorem
propositional logic
axiomatic
intuitionistic
modal logic
forall
provable
frege
bertrand russell
peano
deductive
lnot
combinatorics
completeness
lambda calculus
principia mathematica
compactness theorem
excluded middle
deductive system
incompleteness theorems
functional analysis
quantifiers
quantifier
axiom
peano arithmetic
quine
david hilbert
propositional variables
Wikipedia sources:
Mathematical logic
List of theorems
Model theory
Type theory
Philosophy of mathematics
David Hilbert
Consistency
Axiom of choice
Natural deduction
Willard Van Orman Quine
Proposition
Lambda calculus
Propositional calculus
History of mathematics
Formal system
Argument
Discrete mathematics
Combinatory logic
Soundness
Mathematical induction
Lists of mathematics topics
Equivalence relation
If and only if
List of academic disciplines
Peano axioms
Predicate logic
Tautology (logic)
Quantification
Gottlob Frege
Logic programming
Context for words:
mathematical
logic
|
|