Gödel's incompleteness theorems
The first theorem is important to mathematicians because it proves that it is impossible to create a set of axioms that explains everything in maths. The second theorem is important because it proves that the soundness of a system, soundness means only logically valid theorems are provable, cannot be proved; this means that you know that you cannot be assured that all proofs conclude in truths.