25/06/09 16:03:02.27 1rvvZppX.net
以下、nは自然数の値を取るとする。
(1) P: ∀n, p(n)は、Pが正しいなら、n=1, 2, ...の場合を試しても永久に証明できない
(2) P: ∃n, p(n)は、Pが正しいなら、有限回で証明が終わる
数学の証明で非自明なものは、大別すればこの2パターンしかない。
(1)を証明するには、無限回の証明を有限回で行う道具が必要になる。たとえば、数学的帰納法など。
(2)を証明するには、問題から一部の情報を取り出す必要がある。たとえば、剰余をとるなど。