ConceptZFC系统 / 策梅洛-弗兰克尔集合论
ZFC
The most commonly used axiomatic set theory system in modern mathematics, which avoids logical contradictions such as Russell's Paradox by restricting the ways sets may be constructed.
The most commonly used axiomatic set theory system in modern mathematics, which avoids logical contradictions such as Russell's Paradox by restricting the ways sets may be constructed.