元數學

元數學是證明論的另一個詞。

邏輯分支處理數學符號的組合和應用研究，有時也稱為元數學或元邏輯。

另請參閱

使用探索

更多嘗試

引用為

韋斯坦因，埃裡克·W. “元數學。” 來自 --一個 Wolfram 網路資源。 https://mathworld.tw/Metamathematics.html

主題分類