Was bedeutet ein Satz der Art (∃n) 4 + n = 7? Nun
da frage man sich erst; gibt es schon einen Beweis für ode gegen ihn denn das ändert seine Grammatik. Und wenn man ihn beweisen kann: wie? ‒ ‒ ‒ Ist das der Beweis? Gut, nun weiß ich auch was der Satz bedeutet.