There are mathematical statements that have been shown to be undecidable (no proof for or against is possible) and such a demonstration is a huge deal.