ウィキペディア

ω無矛盾

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2011/10/23 15:32 UTC 版)

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