Mathematical Formalism