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").