>526
ある公理体系を選択すれば、その中においては、矛盾しあった定義なり公理が同時に採用(成立)され得ないと思ってきましたが…