- 821 名前：１３２人目の素数さん [2025/06/30(月) 17:38:00.43 ID:VC9XYnov.net]
- >>765
おっしゃることについてはその通り
で、プログラムは書けますか？
仮に反例があるとすると、反例であることを示すプログラムは書けるんですよ。
列を頭から順々に辿っていって、任意の自然数ｉについて
それより小さい値をもつ項を見つけてしめせばいい
で、Ｎが整列集合だから、そんなことはありえないというわけで
その場合、ｉが最低値以下だと反例を探すプログラムが延々と動き続けることになる
要するに最小値は存在するんだけれども、ここが最小値ですよと示すプログラムは書けない
やだねー
