>>654
じゃあaを整数とする
このとき

-(-a)=a

を整数の公理のみで証明できる？

もちろん整数の公理にマイナス元はないし定義もできない
あるいは除法の定理を証明してみたまえ
これが易しいとかやばい
アルキメデスの公理を整数の公理のみで証明している成田を
易しいとは何事か？