qnli 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.