In 1925 Ackermann published a proof that a weak system can prove the consistency of a version of analysis .
Von Neumann found an explicit mistake in it a few years later .
In 1925 Ackermann published a proof that a weak system can prove the consistency of a version of analysis , but von Neumann found an explicit mistake in it a few years later .