- Mathematics
- >
- Fields of mathematics
- >
- Mathematical logic
- >
- Large-scale mathematical formalization projects

- Mathematics
- >
- Philosophy of mathematics
- >
- Formalism (deductive)
- >
- Large-scale mathematical formalization projects

- Mathematics
- >
- Philosophy of mathematics
- >
- Mathematical logic
- >
- Large-scale mathematical formalization projects

Principia Mathematica

The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by mathematician–philosophers Alfred North Whitehead and Bertrand Russell and publishe

Nicolas Bourbaki

Nicolas Bourbaki (French pronunciation: [nikɔla buʁbaki]) is the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure - PSL (ENS). Founded in

Metamath

Metamath is a formal language and an associated computer program (a proof checker) for archiving, verifying, and studying mathematical proofs. Several databases of proved theorems have been developed

Implementation of mathematics in set theory

This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theor

Glossary of Principia Mathematica

This is a list of the notation used in Alfred North Whitehead and Bertrand Russell's Principia Mathematica (1910–1913). The second (but not the first) edition of Volume I has a list of notation used a

Mizar system

The Mizar system consists of a formal language for writing mathematical definitions and proofs, a proof assistant, which is able to mechanically check proofs written in this language, and a library of

© 2023 Useful Links.