役に立つような公理系を選んでるんだろ。終了。