[過去ﾛｸﾞ] 多変数関数論4 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
114: 2024/09/15(日)22:09 ID:qL1K90c8(1) AAS
数学では、フェーファーマン・シュッテ順序数は大きな可算順序数です。これは、算術超有限再帰など、いくつかの数学的理論の証明理論的順序数です。ソロモン・フェファーマンとクルト・シュッテにちなんで名付けられ、前者はΓ₀という名前を提案しました。Feferman–Schütte 順序数を超える順序数の標準表記はありません。
ロジックのフェファーマンはFeferman
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.038s