>>291
命題Lは正しい。時枝の論通り。但しオリジナリティなし、整理しただけ。

命題Pは正しいと証明されていない。
たぶん、
・証明不可能
・時枝戦略の成り立つのは非可測集合
・袋を選ぶことが同等に確からしいことを証明するのは超難しい。
のいずれか。証明する場合にはZF、ZF+ACから議論する必要があるだろう。
正しくないとする場合も同様。