数学基礎論・数理論理学 その19at MATH数学基礎論・数理論理学 その19 - 暇つぶし2ch311:132人目の素数さん 24/05/16 11:43:21.19 WmP+w3aC.net>>309 なので、wikipediaの直観主義論理の項目のヒルベルトスタイルの節にあるような公理を使うんよ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch