検索内容:
そのセミナーでは、いくつかの超限帰納法とそれらの現代集合論への応用が取り上げられた。
超限帰納法を用いて、その数学者はすべての順序数がカントール標準形で一意に表されることを証明した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★