„Wird die Gleichung von irgendwelchen Zahlen befriedigt?”; „sie wird von allen Zahlen befriedigt”; „sie wird von allen Zahlen (von keiner Zahl) befriedigt”. Hat Dein Kalkül Beweise? und welche? daraus erst wird man den Sinn dieser Sätze & Fragen entnehmen können.

  Ich kann den Ausdruck: „die Gleichung G ergibt die Lösung L” nicht eindeutig anwenden, solange ich keine Methode der Lösung besitze; weil „ergiebt” eine sich auf eine Struktur bezieht bedeutet, die ich ohne sie zu kennen nicht bezeichnen kann. Denn das heißt das Wort „ergibt” zu verwenden ohne seine Grammatik zu kennen. Ich könnte aber auch sagen: Das Wort „ergibt” hat andere Bedeutung wenn ich es so verwende daß es sich auf eine Metho der der Lösung bezieht & ˇeine andere wenn dies nicht der Fall ist. Es [f|v]erhält sich hier mit „ergibt” ähnlich wie mit dem Wort „gewinnen” (oder „verlieren”) wenn es sich einmal auf gewisse Spielregeln, ein wenn das Kriterium des „Gewinnens” einmal eine bestimmter Stellung der Spielfiguren Verlauf der Partie (z.B.) ist (hier muß ich die Spielregeln kennen um sagen zu können ob [e|E]iner
gewonnen
verloren
hat) oder ob ich mit Gewinnen etwas meine was sich
beiläufig
etwa
durch „zahlen müssen” ausdrücken ließe.
  Wenn wir „ergibt”
in der ersten Bedeutung
im ersten Sinne
anwenden, so heißt „die Gleichung ergibt L”: wenn ich die Gleichung nach gewissen Regeln transformiere so erhalte ich L. So wie die Gleichung 25 × 25 = 620 besagt, daß ich 620 erhalte, wenn ich auf 25 × 25 die Multiplikationsregeln anwende. Aber diese Regeln müssen mir
hier
nun
schon gegeben sein, ehe das Wort „ergibt” Bedeutung hat, & ehe die Frage einen
Sinn hat, ob die Gleichung L ergibt.