Random
Source Code
Random
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.