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