And all that empirical stuff doesn't matter when it comes to the actual theorem. The proof does. As is the case with tons of math that don't have empirical evidence.

That's why it's math and not science.

My original point was that calling a philosophical problem unscientific is like saying this ice cream is nonelectronic. It wasn't meant to be, it doesn't mean it's not good. Or in the case of mathematical theorems or philosophical problems, insightful.