Jener Skolemsche Beweis durch Rekursion ist eigentlich ein Existenzbeweis. Existenzbeweis ist der Beweis, daß ich ein System anwenden kann. Aber welche Form hat so ein Beweis?