Hi.

Is 4 not by defintion 2+2, Is math not self proving? I mean why all this "explantion" when it is more evident to say that this thing mathematics is a complex game with rules designed to match the reality.