The SlugMath Wiki is under heavy development!

# Property:Statement Type

This is a property of type String.

The allowed values for this property are:

• Axiom
• Theorem
• Lemma
• Corollary
• Proposition
• Fact

(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)