Hat die Frage einen Sinn: Wenn ein bestimmter Punkt und mit ihm ein endloses Verfahren gegeben ist, gibt es ein arithmetisches Verfahren, das dieselbe Extension erzeugt, wie der Punkt?

✓ ?