Truth is for the gods; from our human point of view, it is an ideal, towards which we can approximate, but which we cannot hope to reach.
Bertrand Russell... mathematical knowledge ... is, in fact, merely verbal knowledge. "3" means "2+1", and "4" means "3+1". Hence it follows (though the proof is long) that "4" means the same as "2+2". Thus mathematical knowledge ceases to be mysterious.
Bertrand RussellFormality Thus the absence of all mention of particular things or properties in logic or pure mathematics is a necessary result of the fact that this study is, as we say, "purely formal".
Bertrand Russell