Könnte man sich die Definition im Kalkül nicht ausgelassen denken – & nur die Substitution die ihr entspricht gemacht & nur etwa mit dem Vermerk, daß dies möge eine gestattete Substitution sein?