Related terms:
lor
iff
lnot
axiom
peano
frege
logika
forall
kleene
tarski
brouwer
axiomatic
quantifier
modal logic
gottlob frege
david hilbert
intuitionistic
inductive step
bound variable
excluded middle
propositional logic
any natural number
sufficiently strong
functional analysis
discrete mathematics
completeness theorem
incompleteness theorem
principia mathematica
incompleteness theorems
propositional variables
Wikipedia sources:
Logic
Axiom
Mathematical logic
Model theory
Mathematics
Argument
David Hilbert
Consistency
Proposition
Axiom of choice
Fuzzy logic
Lambda calculus
Philosophy of mathematics
Gottlob Frege
Willard Van Orman Quine
If and only if
Quantification
Predicate logic
Discrete mathematics
Propositional calculus
History of mathematics
Logic programming
Tautology (logic)
Equivalence relation
Mathematical induction
List of academic disciplines
Context for words:
mathematical
logic
|
|