Definitions by Parsimonous

zermelo-fraenckel set theory 

An axiomatic system on which most of modern mathematics is based. When the axiom of choice is included, it is abbreviated ZFC.

Much like me and your mom, zermelo-fraenckel set theory's signature has a primitive binary relation.

zermelo-fraenckel set theory by Parsimonous April 4, 2020