 Frege completes his development of the natural numbers at page 68 of the Volume II of his Basic Laws of Arithmetic published in 1903, which follows the 250 pages of Volume I that had been published in 1893. So both Frege and the authors of PM took great pains to prove more advanced theorems only after a chain of closely argued lemmas based on their own formalized symbolic logic.