“1. PURE Mathematics is the class of all propositions of the form "p implies q," where p and q are propositions containing one or more variables, the same in the two propositions, and neither p nor q contains any constants except logical constants.”

— from the book