>>771
ペアノの公理系というものがあり、そこにで1、2、+の定義はなされているということですか？
そしてあなたはそれを完全に理解しているということですか？

あと、=についてはどうですか？