The present paper investigates the philosophical relationship between John von Neumann’s Nohidden-variable theorem and Bell’s inequalities. Bell erroneously takes the axiomatic method as implying a finality claim and thus ignores von Neumann’s strongly pragmatist stance towards mathematical physics. If one considers, however, Hilbert’s axiomatic method as a critical enterprise, Bell’s theorem improves von Neumann’s by defining a more appropriate notion of ‘ hidden variable’ that permits one to include Bohm’s interpretation which recovers the predictive content of quantum mechanics. Contrary to (...) Bell’s belief, accepting this model does not require adopting the metaphysically realist Böhm picture. If one takes the latter as a physical research programme one sees that it only partly disputes a common domain of facts with the mathematically oriented research programme of von Neumann. (shrink)