もとの公理群→定義域はxxxである
追加した公理→定義域はxxxではない

こ　れ　自　体　が　矛　盾　だ　ろ　う　が　！