>>130

>Taoは「infinity hat problemで助からない人数は有限」は真だと言っている(同じcornellのサイトにTaoの別のレスがある)。
>これは決定番号dが必ず有限になるという主張と等価。

それはこの部分かな？
https://cornellmath.wordpress.com/2007/09/13/the-axiom-of-choice-is-wrong/
Terence Tao Says: September 19, 2007 at 1:45 am | Reply
(抜粋)
Furthermore, while non-standard models of, say, ZFC, certainly exist
(assuming of course that ZFC is consistent ),
so do standard models, and the statement “all but finitely many prisoners go free” is also true in the standard model.
So it does not seem possible to rigorously reach a conclusion that non-standard numbers exist without some additional external assumption which is not true in the standard model.
引用おわり