... mathematical knowledge ......
... 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.