>>156
”fully rigorous”は、数学の通底で基本だよ
"rigorous"は必要なときに、特に強調されるだけ。別に読み違えてない（後述）

>無限の主人が助かる（＝決定番号dが有限となる）戦略のことを"厳密でない"と言っているのではない。

重箱の隅かもしれないが、”無限の囚人が助かる（＝決定番号dが有限となる）”は言えないんじゃない？
囚人問題を読み違えているかもしれないが、無限の囚人が居たとして、無限の囚人が助かったとして、しかしそれから直ちに助からない囚人が有限とは言えないだろ