1.Previous
3.Next

and function application weren't formally stated until the development of symbolic logic.

There are generally two ways that equality is formalized in mathematics: through logic or through set theory. In logic, equality is a primitive predicate (a statement that may have free variables)

1.Previous
3.Next