Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens