>>10
2が自然数の集合の要素として定義されるのなら
2=1+1は2の定義だろ。
自然数は帰納的に定義されてるんだから。