Property:Statement Type

This is a property of type String.

The allowed values for this property are:

(previous 25) (next 25)

Pages using the property "Statement Type"

Showing 25 pages using this property.

S
State/A OR B is logically equivalent to NOT A IMPLIES B +	Fact +
State/Additivity of polynomial degrees +	Proposition +
State/Arithmetic of residues is well-defined +	Proposition +
State/Arithmetic progression rule for binary quadratic forms +	Proposition +
State/Axiom of choice +	Axiom +
State/Axiom of extensionality +	Axiom +
State/Axiom of infinity +	Axiom +
State/Axiom of pairing +	Axiom +
State/Axiom of power sets +	Axiom +
State/Axiom of regularity +	Axiom +
State/Axiom of replacement +	Axiom +
State/Axiom of selection +	Axiom +
State/Axiom of the empty set +	Axiom +
State/Axiom of unions +	Axiom +
State/Being relatively prime to a product is equivalent to being relatively prime to the factors +	Proposition +
State/Bijections are injective and surjective functions +	Proposition +
State/Binary quadratic forms are uniquely determined by their values at a superbasis +	Proposition +
State/Bounding riverbends of a given discriminant +	Proposition +
State/Bounding wells of a given discriminant +	Proposition +
State/Cancellation in groups +	Proposition +
State/Canonical decompositions can be used to find GCD and LCM +	Proposition +
State/Canonical decompositions of binomial coefficients +	Proposition +
State/Canonical decompositions of factorials +	Proposition +
State/Centers of p-groups are nontrivial +	Proposition +
State/Chebyshev estimates for the prime number function +	Theorem +

(previous 25) (next 25)