The study of structural properties.

It allows variables represent numbers.

Axioms