数学基礎論・数理論理学　その19at MATH
数学基礎論・数理論理学　その19 - 暇つぶし2ch226:１３２人目の素数さん
24/05/09 12:20:59.38 kr5FQ87d.net
もし、203に202へのアンカーがなく
「脱線ですが
　PRAで定義される帰納的関数の全体って可算じゃない？」
とだけ質問したならば、こう答えましたけど
「ええ、そうですが　それが何か？」

次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch