数学基礎論・数理論理学 その19at MATH数学基礎論・数理論理学 その19 - 暇つぶし2ch214:１３２人目の素数さん 24/05/09 11:10:28.90 1s3pLI9I.netゲーデルの算術化で帰納的関数全体は可算になる？ もっと具体的な証明が知りたいなあ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch