Good question. It shows that this is the snit we've gotten ourselves into: philosophy=formal systems. Physics must be based on a formal system, therefore we must have an advancement in formal systems to help physics. There is no advancement, yadda yadda.

The "good" parts of philosophy are the mushy parts. And when you've created a formal system that's self-consistent yet offers no value, you're going to have to step outside formal systems for a while.

That's gotta be a painful leap for a lot of folks who believe that math is the ultimate reality.