19/08/25 15:16:57.44 sw72Gobg.net
>>866
>選択公理を使えば作れるというなら早く選んでくれ(笑
選択公理は「無限族の直積集合は空でない」という主張しかしていない。
選択公理には代表系の存在を保証する能力はあるが、具体的なインスタンスを定める能力は無い。
しかし時枝解法が成立する要件としてはそれで十分なのである。
これも時枝解法の醍醐味なんだけど、キミのようなド素人には難しいかな？ｗ
19/08/25 15:16:57.44 sw72Gobg.net
>>866
>選択公理を使えば作れるというなら早く選んでくれ(笑
選択公理は「無限族の直積集合は空でない」という主張しかしていない。
選択公理には代表系の存在を保証する能力はあるが、具体的なインスタンスを定める能力は無い。
しかし時枝解法が成立する要件としてはそれで十分なのである。
これも時枝解法の醍醐味なんだけど、キミのようなド素人には難しいかな？ｗ