Task: Translation
Input (Tagalog): Tagalog sentence: 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.
Output (English): 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.