2+2=4 is only a formal truth up to the axioms of arithmetic and how we denote numbers. The statement is not statement with regards to objective reality.