Kong-siat

公設 (Kong-siat)，猶是 (iah-sī)講 (kóng)公里 (kong-lí)，是 (sī)1个 (ê)系統 (hē-thóng)內底 (lāi-té)無 (bô)證明 (chèng-bêng)就 (tō)假設 (ká-siat)是真的 (chin--ê)的 (ê)1句 (kù)話 (oē)，猶是命題 (bēng-tê) (proposition)。掠 (Lia̍h)公設做 (chò)出發點 (chhut-hoat-tiám)來 (lâi)推論 (chhui-lūn)，閣 (koh)會當 (ē-tàng)得 (tit)著 (tio̍h)定理 (tēng-lí)。

佇 (Tī)一寡 (chi̍t-koá)認識論 (jīn-sek-lūn) (epistemology)，公里是自明 (chū-bêng) (self-evident) 的真理 (chin-lí) (truth)，賰的 (chhun--ê)的智識 (tì-sek)著愛 (tio̍h-ài)用 (ēng)公里做基層 (ki-chân)來建立 (kiàn-li̍p)。也 (Iā)就是講，認捌 (jīn-bat)村的 (chhun--ê)的命題進前 (chìn-chêng)，會當先 (seng)認捌公里。毋過 (M̄-koh)凡勢 (hoān-sè)這 (chit)種 (chióng)公里根本 (kin-pún)就無存在 (chûn-chāi)。

佇邏 (lô)chek佮 (kap)數學 (sò͘-ha̍k)，公設無必然 (pit-jiân)是自明的真理，伊 (i)卡 (khah)城 (sêng)附合 (hù-ha̍p)形式 (hêng-sek) (formal) 邏chek的1句話，會得 (ē-tit)用來做進 (chìn)1部 (pō͘)的推論。公設華 (Kong-siat-hoà) (axiomatize) 就是講對 (ùi)相 (sio)獨立 (to̍k-li̍p)的一 (chi̍t)組 (cho͘)公設會當得著規 (kui)套 (thò)智識系統。 1个智識系統，譬論 (phì-lūn)講算數 (sǹg-siàu)，公設華的方法 (hong-hoat)定定 (tiāⁿ-tiāⁿ)有 (ū)幾若 (kúi-nā)的。數學閣共 (kā)公設分做 (hun-chò)邏chek公設佮非邏 (hui-lô)chek公設2款 (khoán)。