What these expressions of formalism usually miss is that provably inconsistent/dependent/independant and all that mess actually are mathematical claims, and you

What these expressions of formalism usually miss is that provably inconsistent/dependent/independant and all that mess actually are mathematical claims, and you're saying they're true or false. There are real attempts to get around that problem, but things get complicated here (http://plato.stanford.edu/entries/formalism-mathematics/ http://plato.stanford.edu/entries/formalism-mathematics/).