Godel's completeness theorem

Gödel's incompleteness theorem	first-order logic	witnessing model	Mathematics is not Truth
Sperner's Lemma	Hikaru no Go	Gödel's Second Incompleteness Theorem explained in words of one syllable	Sharpie
Completeness	Gödel's theorem applied to God	Kurt Gödel