I want to know the answer to the following question:
Von Neumann's abstract treatment allowed him to work on what foundational issue?
All the background I'm provided with is that "Bub also suggests that von Neumann was aware of this limitation, and that von Neumann did not claim that his proof completely ruled out hidden variable theories.". Is that enough to answer the question?