A matematikusok azt bizonyítják be, amit bizonyítani tudnak, Neumann pedig azt, amit akar.