The proof that 1 + 1 = 2 has been a cornerstone in the foundations of mathematics and philosophy, spanning discussions in logic, formal systems, and set theory.