ω矛盾って普通の矛盾よりも広い概念らしいよ