Mathematics as logical syntax — a method to formalize the language of a physical theory · Study