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

ヒルベルト・プログラムの下、数学の完全性と無矛盾性を示そうとする試みがなされていたが、1931年にゲーデルの発表した不完全性定理は、ある意味でそのふたつが両立することは不可能であるというものであった。ゲーデルは「公理系が無矛盾ならば不完全」であることを示そうとしたが果たせず、それよりも少し弱い「ω無矛盾ならば不完全」であることを示した。1936年に、ジョン・バークリー・ロッサーは、ゲーデルの当初の目的である「無矛盾ならば不完全」であることを示した。今日では、通常これを第1不完全性定理と呼ぶ。