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à chi̍p-ha̍p-lūn (axiomatic set theory), mā sī siāng chia̍p ēng ê 1 cho͘ sò͘-ha̍k ki-chân (foundations of mathematics), thoân-thóng ê sò͘-ha̍k léng-he̍k lóng ē-tàng ùi chit cho͘ kong-siat lâi chhui-lūn.