>>814
2の定義は1+1。
しかし、1+1が2になるかは公理系による。