Ω無矛盾

数学基礎論においてω無矛盾（オメガむむじゅん、英: ω-consistent）とは、公理系の性質を表す概念のひとつである。不完全性定理を示すためにクルト・ゲーデルによって導入された。