Axiom
The statement is a proposition. Here, an axiom is any mathematical statement that serves as a starting point from which other statements are logically derived. This means the emphasis is on what happens if the axiom is true. Whether the proposition is empirically true is not the goal of logic. This is a more modern definition of an axiom.