The Edifice

This hierarchy of hyperlinked pages documents (a tiny sliver of) the theoretical edifice developed by mathematicians over the ages. Each page documents one theoretical object (e.g. a definition, theorem, axiom), and typically links to others through the appropriate symbols. Paths to other objects can be revealed by hovering over parts of an equation. Note that this a work in progress.

Some objects to trace back to fondations: Bayes' Theorem, Central Limit Theorem.