>>951
矛盾が無いというのは、その中での整合性のこと。
他との整合性があるかどうかとは何の関係もない。

数学は一般には外との整合性などない。
数学の中でさえ公理系が違えば整合性はない。