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