数理論理学（数学基礎論）　その12 at MATH

---

862:１３２人目の素数さん
18/05/28 16:31:45.86 YiGu5fCp4
命題論理の公理系作るとき
完全性から出発するような作り方ってありますかね
公理図式できた時点で完全性が保証されてるような

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch