Mathematical Language and Algebraic Foundations