>>380
そうですね
同意です

・巨大基数公理は、あったらいいな かも
　というか あって何が悪い かも （＾＾
・その存在が結論づけられない→否定も肯定もできない だろうが
　しかし、公理の視点では「勝手に集合を作るのはダメ！」だから
　集合にできないなら その公理系内では ”クラス”（類）扱い
・自然数の全体は集合であってほしい！
　代数学の立場としては・・
　自然数N→整数環Z→有理数体Q→(完備化)実数体R
　そして、イデアルなども導入できる
　デデキントなら、きっとそういうでしょう　（＾＾