17/06/04 19:24:35.76 K0KJBfWm.net
数理論理が専門の"カレ"の問題意識は
選択公理を認める限り時枝解法は成立するのだから
それがイヤなら
「無限類の強力な独立性」の”新公理”
を示せ、というもの。一理あると思う。
スレ主は、最初に「不成立」と思い込んでるから
そこから離れなれない、頭が固いと思う。
17/06/04 19:24:35.76 K0KJBfWm.net
数理論理が専門の"カレ"の問題意識は
選択公理を認める限り時枝解法は成立するのだから
それがイヤなら
「無限類の強力な独立性」の”新公理”
を示せ、というもの。一理あると思う。
スレ主は、最初に「不成立」と思い込んでるから
そこから離れなれない、頭が固いと思う。