Linked from

The 25 pages that link to Principia Mathematica, each with the reason it gives.

• Gödel's incompleteness theoremsRelated: The system whose arithmetic Gödel showed incomplete in his 1931 paper.

• Bertrand RussellBroader topic: This ambitious work embodies Russell’s attempt to ground mathematics in logic.

• Propositional logicRelated: Its symbolic treatment made propositional calculus part of a systematic foundation project.

• Russell's paradoxRelated: Its ramified type theory was designed to avoid paradoxes of self-reference.

• Gottlob FregeRelated: It pursued a logicist program after the crisis revealed in Frege’s system.

• Alonzo ChurchRelated: Its logicist ambitions formed part of the foundational debate Church’s work addressed.

• Kurt GödelRelated: Gödel’s completeness work concerned the logical framework used in this foundational project.

• Lambda calculusRelated: Its foundational ambitions formed part of the intellectual setting for Church’s logical systems.

• Well-ordering theoremCompared with: Its foundational program illustrates an alternative context to the set-theoretic axioms behind the theorem.

• EntscheidungsproblemRelated: Its formal logical framework helped make questions about mechanical proof and decision precise.

• Axiom of extensionalityCompared with: Its treatment of classes and identity illustrates a different foundational setting from modern set axioms.

• Gödel's completeness theoremRelated: Its formalization efforts exemplified the foundational setting in which completeness mattered.

• LogicismBroader topic: It is the best-known attempt to carry logicist derivation across large parts of mathematics.

• LogicRelated: Its attempt to derive mathematics from logic shaped early twentieth-century foundational debates.

• Alfred North WhiteheadRelated: Its collaboration with Russell established Whitehead’s reputation before his turn to philosophy.

• Augustus De MorganRelated: It represents a later, more expansive attempt to build mathematics on symbolic logic.

• History of logicBroader topic: It embodied the logicist ambition to ground mathematics in formal logical principles.

• Giuseppe PeanoRelated: Russell’s use of Peano’s notation helped shape this landmark formalization.

• Logical empiricismRelated: Its logicist program supplied tools and an example for the movement’s logical reconstruction of knowledge.

• New FoundationsRelated: Quine's system drew on the type-theoretic setting he encountered through this work.

• Formal scienceBroader topic: It became a landmark attempt to reduce mathematical foundations to formal logic.

• Peirce's lawRelated: Its classical framework accepts principles that intuitionistic logic, including Peirce's law, rejects.

• Axiom of Empty SetCompared with: Its type-theoretic foundation approaches existence without the same set-theoretic axiom list.

• Sheffer strokeRelated: Sheffer demonstrated that its primitive connectives could be reduced to one stroke.

• Gödel's first incompleteness theoremRelated: The paper's title announces that incompleteness strikes this system and related ones.