skibinsky.com
Gödel, Turing and Cantor: The Math
This is mathematical section of the parent essay Gödel Incompleteness for Startups Gödel Numbering A formal system is just a collection of axioms and rules.