形式 (Hêng-sek)科學 (kho-ha̍k)是 (sī)利用 (lī-ēng)形式體系 (thé-hē)來 (lâi)探討 (thàm-thó)問題 (būn-tê)的 (ê)智識 (tì-sek)。怹 (In)的研究 (gián-kiù)對象 (tùi-siòng)毋是 (m̄-sī)對 (tùi)經驗 (keng-giām)世界 (sè-kài)的地接 (tī-chiap)觀察 (koan-chhat),怹是研究形式系統 (hē-thóng)本身 (pún-sin)的性質 (sèng-chit)。比論 (Pí-lūn)數學 (sò͘-ha̍k),統計學 (thóng-kè-ha̍k),邏 (lô)chek攏 (lóng)算 (sǹg)是形式科學。