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
Get the zermelo-fraenckel set theory mug.