1+ 1=2, which can be regarded as the definition of 2. It is valuable to establish natural numbers and their operations on a stricter basis, but it can only be understood after a lot of learning, which involves the axiomatization of natural numbers.

Goldbach's conjecture "1+ 1" and "1+ 1=2" are two different things, just like a code name.