を満たす無矛盾な理論が存在しないとき、は極大無矛盾()であるという。