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