Zermelo Fraenkel set theory ZFC
Zermelo Fraenkel set theory
The standard set theory in which most mathematics is formalized. Its axioms include the pairing axiom, the power set axiom, the axiom of infinity, the axiom of extensionality, the axiom of replacement, the separation axiom, the union axiom, and the foundation axiom. Abbreviated ZF. When the axiom of choice is assumed, this theory is abbreviated ZFC.
The ring with only one element, its additive identity.
The function z(s) given by:
This function gives series representations of many significant numbers, e.g., z(2) = p2/6, and z(4) = p4/90.
Cf. Riemann Hypothesis.
See Zermelo Fraenkel set theory.
Zermelo Fraenkel set theory with the axiom of choice.