`The Hilbert (axiomatic) method
We place a locked cage onto a given point in the desert. After that we introduce the following logical system:
Axiom 1: The set of lions in the Sahara is not empty.
Axiom 2: If there exists a lion in the Sahara, then there exists a lion in the cage.
Procedure: If P is a theorem, and if the following is holds: “P implies Q”, then Q is a theorem.
Theorem 1: There exists a lion in the cage. [..]
The Schrödinger method
At every instant there is a non-zero probability of the lion being in the cage. Sit and wait. ‘