Nur ein bestimmter Übergang von Gleichungen zu einer Gleichung ist ein Beweis dieser letzteren. ﹖– Dieser ist hier nicht gemacht || Dieser findet hier nicht statt –﹖ und alles Andere kann auf die Sprache keinen Einfluß (mehr﹖) haben. || … und alles Andere kann B nicht mehr zum Beweis von A machen.