/  
Wohl kann ich im Fall χ, F, P die Vorschrift der Untersuchung der Zahlen rekursiv erklären, aber nicht ihr Resultat.