Currently there may be errors shown on top of a page, because of a missing Wiki update (PHP version and extension DPL3). |

**Navigation**

Topics | Help • Register • News • History • How to • Sequences statistics • Template prototypes |

# ProofWiki

**ProofWiki** is a collection of mathematical proofs including axioms, definitions, books, mathematicians or symbols with ~16.000 proofs and ~13.000 definitions (as of January 2019) including online sources.