This is a site for studying foundations of mathematics, or it can be used as a reference material. The site is structured as contents pages of a book on the subject of mathematics foundations. It comprises links to expository materials.

An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.

The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews.

Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and formal foundation for mathematics and computer science.

Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge

Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.