> 1+1=2 is just a specific system of notation with consistency.

So, that that is system of notation which has consistency is itself a truth, isn’t it?