>>818
>κ 未満の任意の基数 λ に対し、2^λ<κ を満たす正則基数は
>ZFCでは順序数として存在し得ない、という証明はできない

イミフ

κ 未満の任意の基数 λ に対し、2^λ<κ を満たす正則基数は
公理として設定するのであって
”証明”うんぬん 筋違いｗ　（＾＾

通常のユークリッド幾何の中には、無限遠点はない！
ユークリッド幾何の中に、無限遠点が存在し得ないことは 証明はできない？
それ 証明の話か？　それ 妄想でしょｗ　；ｐ）