| 按學(xué)科分類與代碼國(guó)家標(biāo)準(zhǔn)（GB/T13745-2009） | |||||
| 名稱 | 編號(hào) | 名稱 | 編號(hào) | ||
| 演繹邏輯學(xué)(亦稱符號(hào)邏輯學(xué)) | 110.1410 | 證明論(亦稱元數(shù)學(xué)) | 110.1420 | ||
| 遞歸論 | 110.1430 | 模型論 | 110.1440 | ||
| 公理集合論 | 110.1450 | 數(shù)學(xué)基礎(chǔ) | 110.1460 | ||
| 數(shù)理邏輯與數(shù)學(xué)基礎(chǔ)其他學(xué)科 | 110.1499 | ||||
