Search Results for ""

A logical system which possesses an explicitly stated set of axioms from which theorems can be derived.

One of the Zermelo-Fraenkel axioms which asserts the existence for any set a of a set x such that, for any y of a, if there exists a z satisfying A(y,z), then such z exists ...

One of the Zermelo-Fraenkel axioms which asserts the existence of the empty set emptyset. The axiom may be stated symbolically as exists x forall y(!y in x).

The axiom of Zermelo-Fraenkel set theory which asserts the existence for any set a of the sum (union) x of all sets that are elements of a. The axiom may be stated ...

For any set theoretic formula f(x,t_1,t_2,...,t_n), In other words, for any formula and set A there is a subset of A consisting exactly of those elements which satisfy the ...

A method for mapping three-dimensional figures onto the plane.

The azimuthal angle is an angle measured from the x-axis in the xy-plane in spherical coordinates, denoted theta in this work.

A line that simultaneously bisects a triangle's perimeter and area.

The BCH code is an error-correcting code that is a generalization of the Reed-Muller error-correcting code used by the Voyager 2 spacecraft.

The baby monster group, also known as Fischer's baby monster group, is the second-largest sporadic group. It is denoted B and has group order |B| = ...