nLab Principia Mathematica






The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms

This page collects material related to

an early account aiming to lay foundations of mathematics via formal logic.

Among other things, this book, inspired by work of Gottlob Frege (such as in following his notion of judgement, see there), introduces concepts of typing, called the “extensional hierarchy of type” to prevent paradoxes of set theory such as Russell's paradox, and a “ramified hierarchy of types”, in order to avoid paradoxes such as the liar's paradox. (See also SEP – Type theory).


category: reference

Last revised on January 23, 2023 at 12:43:45. See the history of this page for a list of all contributions to it.