principia Wiki
principia is a system for documenting formal mathematics.
Brought to you by:
fundagain
The PDF file Sets.pdf is the generated document obtained by processing the [LaTeX] document [Sets.tex] under [XeTeX].
It should read as a natural mathematical text on formal set theory and the necessary logical infrastructure.