Knowledge and Consequence: Von Neumann and Grothendieck