>>151
無矛盾性の証明とか
計算可能であってもどうせ無理だから