>>919
>生きてる島内剛一と廣瀬健を見たことあるって、もうなんか伝説の存在？（笑）

島内剛一氏を、直接見かけたことはないが
いまはなき 共立出版のbit誌 https://scrapbox.io/bitmagazine/
数学セミナー 数理科学 たまに現代数学 は 読んでいたから
島内剛一氏の名前は 何度も見たと思うよ

>>917
>無限公理がない場合、無限集合は”存在しない”

公理の数学の基本が理解できていないね お主
ユークリッド幾何内には、無限遠点は存在しない
射影幾何内には、当然無限遠点は存在する
数学全体では、無限遠点は存在する

と 同様に、無限公理がない場合、無限集合は”存在しない”
無限公理がある場合、無限集合は”存在する”
数学全体では、無限集合は存在する

では、到達不能基数はどうか？
同じだよ