>>91
>時枝が成立しないと、選択公理が否定されるとか、なに妄想しているんだ!と
>そんなこと言えるのかい? おいおい
言えます。
ZF公理系は暗黙の前提として、時枝定理の仮定は選択公理だけです。従って時枝不成立なら選択公理が否定されます。
もし異論があるなら他の仮定を列挙するか、もしくは時枝定理が偽であることを証明して下さい。