Sò͘-ha̍k-tek ê su-lí

數學的 (Sò͘-ha̍k-tek)的 (ê)師里 (su-lí) (mathematical logic) 是 (sī)數學 (sò͘-ha̍k)的1支 (ki)分支 (hun-ki)，專途 (choan-tô͘)咧 (leh)研究 (gián-kiù)佮 (kap)形式 (hêng-sek)系統 (hē-thóng) (formal system) 有 (ū)底代 (tī-tāi)的觀念 (koan-liām)，看 (khoàⁿ)這寡 (chit-koá)直覺 (ti̍t-kak)的概念 (khài-liām)，可比 (khó-pí)講 (kóng)集合 (chi̍p-ha̍p)，數目 (sò͘-ba̍k)，證明 (chèng-bêng)，計算 (kè-sǹg) (computation) 等等 (téng-téng)，欲 (beh)早樣 (chái-iūⁿ)來 (lâi)表達 (piáu-ta̍t)。卡 (Khah)捷 (chia̍p)用著 (ēng--tio̍h)的理論 (lí-lūn)有模型論 (bô͘-hêng-lūn) (model theory)，證明論 (chèng-bêng-lūn) (proof theory)，集合論 (chi̍p-ha̍p-lūn)憨 (ham)第回論 (tē-hoê-lūn) (recursion theory)。數學的 (Sò͘-ha̍k-te̍k)的羅則 (lô-chek)對 (tùi)研究數學个 (ê)基層 (ki-chân) (foundations of mathematics) 真 (chin)重要 (tiōng-iàu)。