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