 2, 1903; vol.2 was published at his own expense), Frege attempted to derive, by use of his symbolism, all of the laws of arithmetic from axioms he asserted as logical.Most of these axioms were carried over from his "Begriffsschrift", though not without some significant changes.