It is 1+1=2 because it's formally established in Principia Mathematica, written by Alfred North Whitehead and Bertrand Russell. The question is deeply rooted in Peano arithmetic and set theory and requires a rigorous foundation in mathematical logic.