>>136『公理系』としっかり明示したはすだが‥。