佇 (Tī)數學 (sò͘-ha̍k),證明 (chèng-bêng)是 (sī)講 (kóng)1種 (chióng)說明 (soeh-bêng)的 (ê)過程 (koè-têng),這 (chit)个 (ê)過程先 (seng)假設 (ká-siat)有 (ū)寡 (koá)公設 (kong-siat)是正實的 (chiaⁿ-si̍t--ê),才 (chiah)閣 (koh)1部 (pō͘)1步 (pō͘)說明某物 (bó͘-mih)陳述 (tîn-su̍t)定著 (tiāⁿ-tio̍h)嘛 (mā)是正實的 。