>>206
何もない。
公理を追加して個々の理論を立てるだけ。