“We are now in a position to turn to problems of the definition of mathematics. The definition I advocate is briefly this: Mathematics is the science of formal systems.”