Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Gottlob Frege.