無矛盾
数学基礎論において、無矛盾性 () は公理系の最も重要な概念の一つである。