23/08/11 09:37:48.53 rxtETGWs.net
とある数学者が実名で出版した本で、選択公理について
「 [選択公理] 超限帰納法を使ってよい
(つまり、ある集合が超限帰納法によって作れるならば、その集合が存在する)」
なんてたわけたこと書いてたりするので、某多変数複素関数論の研究者が
選択公理のステートメントすら知らなくても驚くには値しないかもしれない
・・・嘆かわしい、とは思うが
23/08/11 09:37:48.53 rxtETGWs.net
とある数学者が実名で出版した本で、選択公理について
「 [選択公理] 超限帰納法を使ってよい
(つまり、ある集合が超限帰納法によって作れるならば、その集合が存在する)」
なんてたわけたこと書いてたりするので、某多変数複素関数論の研究者が
選択公理のステートメントすら知らなくても驚くには値しないかもしれない
・・・嘆かわしい、とは思うが