Category:算術の形式理論

算術の形式理論に関するカテゴリ。

これらのシステムは、数理論理学の文脈における算術の形式研究のための論理的枠組みと一連の公理を提供する。(英語版より)
「en:Category:Formal theories of arithmetic」も参照

カテゴリ「算術の形式理論」にあるページ

このカテゴリには 5 ページが含まれており、そのうち以下の 5 ページを表示しています。

け

さ

し

ろ

「https://ja.wikipedia.org/w/index.php?title=Category:算術の形式理論&oldid=77634862」から取得