Wie jagt man einen Löwen in der Wüste?
1. Mathematische Methoden
Die Hilbertsche oder axiomatische Methode:
Man stellt einen Käfig in die Wüste und führt folgendes Axiomsystem ein:
Axiom 1: Die Menge der Löwen in der Wüste ist nicht leer.
Axiom 2: Sind Löwen in der Wüste, so ist auch...