Lemma

A rigorous mathematical wiki. Every definition is precise. Every theorem is proved.

How to Read This Wiki

1. Start with Foundations — Logic, set theory, and proof techniques
2. Follow the links — Each page tells you what you need to know first
3. Read the proofs — The proofs are the point

Browse by Area

• Foundations — Logic, sets, functions, proof methods
• Number Systems — Naturals, integers, rationals, reals, complex
• Algebra — Linear algebra, abstract algebra
• Analysis — Real analysis, complex analysis
• Geometry — Euclidean, non-Euclidean, topology
• Number Theory — Divisibility, primes, congruences
• Discrete Mathematics — Graph theory, combinatorics
• Probability — Axioms, distributions, limit theorems

Recently Added

• Proposition
• Set
• Direct Proof

Built with DocsForge.