Godel's Incompleteness Theorem

A two-part proof concerned with the limits of provability in formal Axiom theories.

Finding a consistent set of axioms for all of mathematics is impossible.