分類:元邏輯學

子分類

此分類包含以下 4 個子分類，共 4 個。

形

形式系统 (5個分類， 7個頁面)
形式语言 (6個分類， 68個頁面)

證

证明论 (4個分類， 19個頁面)

邏

邏輯結果 (6個分類， 5個頁面)

「元邏輯學」分類中的頁面

此分類共有 6 個頁面，以下顯示其中 6 個。

使

使用-提及區別

元

元定理

合

合式公式

形

形式系統

類

类型和个例的区别

蘊

蕴涵

取自「https://zh.wikipedia.org/w/index.php?title=Category:元逻辑学&oldid=79622889」