0104132人目の素数さん垢版 | 大砲2019/02/19(火) 21:56:48.12ID:WoowTim2 >>91 >時枝が成立しないと、選択公理が否定されるとか、なに妄想しているんだ!と >そんなこと言えるのかい? おいおい 言えます。 ZF公理系は暗黙の前提として、時枝定理の仮定は選択公理だけです。従って時枝不成立なら選択公理が否定されます。 もし異論があるなら他の仮定を列挙するか、もしくは時枝定理が偽であることを証明して下さい。