Question: Von Neumann's abstract treatment allowed him to work on what foundational issue?
Sentence: 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.
Answer in sentence: no