|
Related terms:
lnot
forall
algebra
logical axioms
arithmetic
deductive system
parallel postulate
propositional logic
mathematical logic
incompleteness theorem
Wikipedia sources: Axiom Prime number theorem First-order logic History of mathematics Context for words: peano arithmetic |
|