Welcome


What is it?

An evergrowing list of theorems, proofs, and references. Algebraic and natural deduction proofs have been formalized in Isabelle. Proofs by method of truth table have been generated by computer program to ensure their validity. Whenever possible, I reference free resources, such as Khan Academy, Sarada Herke, Numberphile, ProofWiki, Wikipedia, etc. Failing that, I reference established mathematical texts.

Who is it for?

Teachers of mathematics, high-school seniors, undergraduates, and amateur mathematicians. The index may also serve anyone learning Isabelle. It may also serve the working mathematician.

How is it unique?

There are resources for learning proofs, and there are encyclopedias of mathematics. Sites like Wolfram MathWorld are great for theorems, but lack proofs. Projects like Metamath are great at organizing theorems and proofs, but are not pedagogical. This site is a middle ground. It will give you a direction, then prove everything you need to know. All will be built from first principles. My primary goal is to show the connections between the various number classes (naturals, integers, etc.) My secondary goal is to provide proofs that are easy enough that they can be introduced during a student's formal education. To answer questions such as "Why is real addition commutative?"

What does it cost?

The cost is $3 per month or $30 per year. There will never be ads or a donation drive on the free or paid version of the index. Sample pages are available below, to give you an idea of what you're money gets you. This Website is a preview of the index. You can securely purchase the index, with proofs and references included, from Gumroad.

Free textbooks

If you don't know how to prove theorems, but would very much like to learn, here are a couple free textbooks to get you started:


Sample pages


Quick references


Search the index by topic