Proof sketch for Gödel's first incompleteness theorem (source code)

= Proof sketch for Gödel's first incompleteness theorem
{wiki=Proof_sketch_for_Gödel's_first_incompleteness_theorem}