Main Page

Welcome to Wikiproofs	The tutorial shows how proofs are written Ask questions in the tearoom
the free repository of instantly verified proofs to which anyone can contribute.
Here's an overview of what is currently on wikiproofs. Propositional logic · Predicate logic · Set theory Arithmetic · Real and complex numbers · Geometry Your proof here! You can either start from the above starting points, or start anywhere you'd like as long as you can state your starting point as a set of axioms.

Featured

The Principia Mathematica propositional logic page proves many propositional logic theorems from axioms. It is based on Principia Mathematica by Alfred North Whitehead and Bertrand Russell. Published in 1910, Principia was an attempt to build all of mathematics on a rigorous axiomatic basis. Some parts of its treatment, like the set theory based on type theory, have not been widely adopted. Yet a hundred years after its publication, the propositional logic part of the book remains one of the most cited sources for theorems in propositional logic. Its axiomatic basis consists of two indefinable logical connectives, negation and disjunction, five logical axiom schemata and one rule of detachment, modus ponens.

Main category · Mathematics · Help Community Portal · Copyrights · About Wikiproofs

Collaboration

Verifier documentation and development	Specification
JHilbert help JHilbert development	Formal description of JHilbert Definition soundness in JHilbert

Links of interest

• JHilbert extension. JHilbert is the proof verifier behind Wikiproofs.
• JHilbert page on AsteroidMeta
• JHilbert download page
• Metamath, a (non-wiki) site similar in spirit to Wikiproofs.
• MathWeb
• Formalizing 100 Theorems