Ludwig Wittgenstein quotes
Philosophy may in no way interfere with the actual use of language; it can in the end only describe it. For it cannot give it any foundation either. It leaves everything as it is. It also leaves mathematics as it is, and no mathematical discovery can advance it. A "leading problem of mathematical logic" is for us a problem of mathematics like any other.