What are the types of mathematical statements?

Mathematical statements can be categorized into several types, including axioms, theorems, definitions, and conjectures. Axioms are foundational truths accepted without proof, while theorems are propositions proven based on axioms and previously established theorems. Definitions provide precise meanings for mathematical concepts, and conjectures are propositions that are suspected to be true but have not yet been proven. Each type serves a distinct role in the structure and development of mathematical theory.