整合性
ω無矛盾は、数学基礎論において公理系の性質を表す概念