In 1893 Die Grundgesetze der Arithmetik, Volume1 (The Basic Laws of Arithmetic) appeared in which Frege set up a formal logical system with more rules of inference than that of his earlier work the Begriffsschrift.
Sa 1893 Die Grundgesetze der Arithmetik, Volume1 (Ang mga Batas ng Basic Arithmetic) na kung saan lumabas sa Frege-set up ng isang pormal na tama ang sistema sa karagdagang mga patakaran ng pagkakilala kaysa sa mas maaga na ng kanyang trabaho ang Begriffsschrift.