Goedel's Incompleteness Theorem
A theorem postulated by Kurt Goedel, a Czech mathematician, that states that in a mathematical system powerful enough to generate the natural numbers, there inevitably exist propositions that can be neither proved nor disproved.