Types of Mathematical Statements