ω無矛盾性の定義と具体的にどういう算術を含む体系に適用できるか説明してくれや