19/02/10 20:54:04.79 6AF3LOKJ.net
>>510-511
笑えるよ
数学は体系だよ
公理は、数体系の背後にある
確率論を支えるいくつものいくつもの定義と補題を含む命題と、
それら全ての上に時枝が成り立っている
ところで、
数学科生なら、
「この定理が不成立だとすれば、選択公理が成り立たない」という定理が、
いくつか頭に浮かぶだろうね
そんなに多くないはずだ
普通は、基礎論の選択公理と等価な命題が浮かぶことだろう
それ以外になにか浮かぶかい？
この議論のために、創作した命題ではなく、教科書とか論文にすでに出ている定理の中で
ふつう、ないよね（もし、あれば、教えて欲しい）
で、これらの定理と、時枝記事の命題が並列されるのだと
おれは、「ご冗談でしょ！」と（＾＾
”この定理の証明は、絶対間違いない！”という程度なら、まだ可愛いよ（＾＾
あるいは、冗談で、「時枝が不成立だとすれば、選択公理が成り立たない」と大げさにいうのもありだろうね
しかし、これを本気でいうとしたら、「おまえ気は確かか？」と言うよね、数学科生ならね ：ｐ）