Kong-siat

Lohankhapedia (自由的百科全書) 欲共你講..。
(對 Axiom 轉來)
跳至導覽 跳至搜尋

公設 (Kong-siat)猶是 (iah-sī) (kóng)公里 (kong-lí) ()1 (ê)系統 (hē-thóng)內底 (lāi-té) ()證明 (chèng-bêng) ()假設 (ká-siat)真的 (chin--ê) (ê)1 () (),猶是命題 (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í)

()一寡 (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) ()就是講,認捌 (jīn-bat)村的 (chhun--ê)的命題進前 (chìn-chêng),會當 (seng)認捌公里。毋過 (M̄-koh)凡勢 (hoān-sè) (chit) (chióng)公里根本 (kin-pún)就無存在 (chûn-chāi)

()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ā)的。數學閣 ()公設分做 (hun-chò)邏chek公設非邏 (hui-lô)chek公設2 (khoán)