Unfortunately I accidentally looked at some of the other answers first, but I think my answer would have been this anyway:

The fact "2+2=4" is a fact about the products of certain systems of thought and computation. It is also a abstract description of a certain property of objects in reality (namely, that taking two sets of two objects and combining the sets results in a set of four objects), at least at the classical level.