Gödel's Incompleteness Theorems

What is the proof of Gödel's Incompleteness Theorem and what does it imply to epistemology in general?

Gödel’s First Incompleteness Theorem constructs, inside any sufficiently expressive, effectively axiomatized formal system F that encodes a bit of arithmetic, a sentence G that essentially says “G is ...