>>142 つづき
しかし、問題の箇所は”so do standard models, and the statement “all but finitely many prisoners go free” is also true in the standard model. ”だと思うが
ここから、”Taoは「infinity hat problemで助からない人数は有限」は真だと言っている”は導けないんじゃないかい
さらに、「infinity hat problemで助からない人数は有限」→”決定番号dが必ず有限になるという主張”と等価が導けるのかい