Wohl kann ich im Fall )(, F, P die Vorschrift der Untersuchung der Zahlen recursiv erklären, aber nicht ihr Resultat.
  Ich kann das Resultat nicht aufbauen.
  Wie weiss ich denn, dass es ein a gibt für welches a² kl 2kl a² kl 2 kl a² +
2a
10n
+
1
102n
? Weil ich ein a konstruieren kann, für welches a² = 1,999_ ist. Wie weiss ich, dass es a gibt für welches a² = 1,999_ ist?