數理 (Sò͘-lí)思理 (su-lí) (漢字: 數理思理; 英語: Mathematical logic) 是 (sī)數學 (sò͘-ha̍k)的 (ê)一 (chi̍t)个 (ê)分支 (hun-chi)。共 (Kā)數學上 (siōng)的證明 (chèng-bêng)佮 (kap)計算 (kè-sǹg)進行 (chìn-hêng)符號化 (hû-hō-hòa)以後 (í-āu)，就 (tō)產生 (sán-seng)形式 (hêng-sek)系統 (hē-thóng)，這 (che)就是數理邏即 (lô-chek)咧 (leh)研究 (gián-kiù)的對象 (tùi-siōng)，嘛 (mā)是規个 (kui-ê)數學基礎 (ki-chhó͘)相當 (siong-tong)要緊 (iàu-kín)的成份 (sêng-hūn)。
數理勞績 (lô-chek)的分支包含 (pau-hâm):