>>549
うん、それ無理。

ペアノの公理系で、加法の交換法則は定義されてるの。
この公理をペアノの公理系の内部で定理として証明するのは
不可能だったはずよ。