2.2_自然数を定義して1_+_1_=_2を証明する