In der »Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens« (1879; Nachdruck 1971) entwickelte Frege den ersten leistungsfähigen Logikkalkül zum Aufbau der Prädikatenlogik. An die Stelle der traditionellen Analyse einer Elementaraussage nach Subjekt und Prädikat tritt darin die Analyse von (quantifizierten) Aussageformen nach dem Vorbild von Funktion und Argument.