Site Navigation
Categories:
1910 books
Mathematical logic
Mathematics books
Philosophy books
Logic books
Mathematics literature
Summary Of: Principia Mathematica
Encyclodia Page On: Principia Mathematica
These Are Links To Other Documents
Philosophiæ Naturalis Principia Mathematica
|
|
|
foundations of mathematics
|
Alfred North Whitehead
|
Bertrand Russell
|
axioms
|
inference rules
|
symbolic logic
|
Frege
|
system of types
|
set of all sets
|
paradoxes
|
Russell's paradox
|
philosophy
|
Aristotle's
|
Organon
|
Modern Library
|
set theory
|
cardinal numbers
|
ordinal numbers
|
real numbers
|
real analysis
|
geometry
|
inconsistency
|
mathematical statement
|
Propositional logic
|
Hilbert's second problem
|
Gödel's incompleteness theorems
|
logical system
|
Catch-22
|
Gödel's second incompleteness theorem
|
formal system
|
Wittgenstein
|
|
|
Axiomatic set theory
|
Begriffsschrift
|
Boolean algebra (logic)
|
Information Processing Language
|
Ivor Grattan-Guinness
|
Stanford Encyclopedia of Philosophy
|
Metamath
|
Categories
|
1910 books
|
Mathematical logic
|
Mathematics books
|
Philosophy books
|
Logic books
|
Mathematics literature
|
This article is licensed under the
GNU Free Documentation License
. It uses material from the
Wikipedia article "Principia Mathematica"
.