In einer Bedeutung heisst die Frage “stimmt die Gleichung G”: lässt sie sich nach den Paradigmen herleiten? – Im andern Fall heisst es: lassen sich die Gleichungen u, v, w nach dem Paradigma (oder den Paradigmen) herleiten? – Und hier haben wir die beiden Bedeutungen der Frage (oder des Wortes ‘Beweis’) auf eine Ebene gestellt (in einem System ausgedrückt) und können sie nun vergleichen (und sehen, dass sie nicht Eines sind).