＞＞244
自然数を含む命題論理の成否を決定するアルゴリズムは存在しない。