Search Results for ""

The axiom of Zermelo-Fraenkel set theory which asserts that sets formed by the same elements are equal, forall x(x in a=x in b)=>a=b. Note that some texts (e.g., Devlin ...

The axiom of Zermelo-Fraenkel set theory which asserts the existence of a set containing all the natural numbers, exists x(emptyset in x ^ forall y in x(y^' in x)), where ...

The axiom of Zermelo-Fraenkel set theory which asserts the existence for any set a and a formula A(y) of a set x consisting of all elements of a satisfying A(y), exists x ...

One of the Zermelo-Fraenkel axioms which asserts the existence for any set a of the power set x consisting of all the subsets of a. The axiom may be stated symbolically as ...

The axiom of Zermelo-Fraenkel set theory which asserts the existence for any sets a and b of a set x having a and b as its only elements. x is called the unordered pair of a ...

A base-60, or sexagesimal, number system, used by the ancient Babylonians.

The Diophantine equation x^2+k=y^3, which is also an elliptic curve. The general equation is still the focus of ongoing study.

A topological space X in which each subset of X of the "first category" has an empty interior. A topological space which is homeomorphic to a complete metric space is a Baire ...

The number 13.

An "area" which can be defined for every set--even those without a true geometric area--which is rigid and finitely additive.