 Contemporary philosophers would consider the transition to mathematics to begin with the theory of sets (or proper classes which are too large to be sets), but in PM that is also a part of Mathematical Logic. The Prolegomena to Arithmetic thus begins with the definitions in terms of logic of explicitly arithmetical notions, the cardinal numbers 1 and 2. 