Begriffsschrift, eine der arithmetischen Nachgebildete Formelsprache des reinen Denkens