無矛盾だがω矛盾した理論の例.