First Lines: Bertrand Russell - The Principles of Mathematics

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.