I have written an 8-page essay proving Gödel's Incompleteness Theorem and giving a brief description of a mathematical system with added as an axiom.
You can find it attached or at this link:
Supernatural Numbers and Undecidable Arithmetical Statements