About the Principia Mathematica list of definitions template
This document uses the principia package, which supports the Peanese logical notation of Volumes I to III of Whitehead and Russell's 1910 Principia Mathematica. The eight-page example is a list of definitions numbered in the book's style (for example *1·01), with symbols for implication, negation, descriptions and classes. It is built as a book with amsmath, amssymb, mathrsfs, enumitem and hyperref.
- Principia numbering such as *14·01
- Logical symbols in Peano notation
- Book-class layout
- Hyperref links
How to use it
- 1Open it in Texeno as your own project, with every file in place.
- 2Write in the browser. It compiles with pdfLaTeX as you go and explains errors in plain words.
