I gotta say that Godel's work is perhaps the most misrepresented in (common, non-mathematical) culture of foundational mathematical proofs. Just read the proof

I gotta say that Godel's work is perhaps the most misrepresented in (common, non-mathematical) culture of foundational mathematical proofs. Just read the proofs. They're not that difficult. Their consequences are wonderful. Enjoy brilliance