Gödel's Incompleteness Theorem essentially thwarted Principia Mathematica by proving that mathematics itself is either consistent or complete (read: either useful or definable), but not both.
The best definition I've heard calls math "the science of pattern". However, proving itself undefinable seems fundamentally better.