[throw310822]

Isn't that equivalent (or, ok, similar) to saying that we can decide undecidable mathematical truths?

[littlestymaar]

As far as I understand there's no such thing “undecidable” in absolute, Gödel incompleteness theorem is about being undecidable under a certain set of axioms.