And not just broken but unrepairable without the addition of uncertainty. Gödel's incompleteness theorems aren't even the half of it.
With Friedman's work, it seems Gödel's delayed triumph has arrived: the final proof that if there is a universal grammar of numbers in which all facets of their behaviour can be expressed, it lies beyond our ken.
But don't worry..."the most severe implications are philosophical". Phew?