A proposition is a mathematical statement such as "3 is greater than 4," "an infinite set exists," or "7 is prime."

An axiom is a proposition that is assumed to be true. With sufficient information, mathematical logic can often categorize a proposition as true or false, although there are various exceptions (e.g., "This statement is false").

See also

Axiom, Conjecture, False, Hypothesis, Law, Lemma, Porism, Postulate, Proof, Theorem, True

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Proposition." From MathWorld--A Wolfram Web Resource.

Subject classifications