„Ergibt die Operationˇ, z.B., eine rationale Zahl” – wie kann das gefragt werden, wenn man keine Methode zur Entscheidung der Frage hat[,|?] denn die Operation ergibt doch nur im festgesetzten Kalkül. Ich meine: „ergibt” ist doch wesentlich pr[ae|ä]sens zeitlos. Es heißt doch nicht: „ergibt mit der Zeit[,|!] – sondern, ergibt nach der gegenwärtigen Regel. [ … nach der jetzt bekannten, festgelegten, Regel. ]