Von Neumann's Theorem on the Impossibility of Introducing Hidden Parameters in Quantum Mechanics

We present a logical and analytical analysis of von Neumann's theorem on the impossibility of introducing hidden parameters in quantum mechanics. We conclude that von Neumann's proof scheme actually (implicitly) implies the assertion of the theorem.