Zermelo–Fraenkel Chi̍p-ha̍p-lūn

Zermelo–Fraenkel集合論 (Chi̍p-ha̍p-lūn)，包含 (pau-hâm) "選擇 (soán-te̍k)公設 (kong-siat)" (the axiom of choice) 定定 (tiāⁿ-tiāⁿ)簡寫做 (kán-siá-chò)ZFC，是 (sī)1組 (cho͘)標準化 (piau-chún-hoà)的 (ê)功設化 (kong-siat-hoà)集合論 (axiomatic set theory)，嘛 (mā)是上 (siāng)捷 (chia̍p)用 (ēng)的1組數學 (sò͘-ha̍k)基層 (ki-chân) (foundations of mathematics)，傳統 (thoân-thóng)的數學領域 (léng-he̍k)攏 (lóng)會當 (ē-tàng)對 (ùi)這 (chit)組公設來 (lâi)推論 (chhui-lūn)。