Mathematics is the science of formal systems

Mathematics is the science of formal systems.