#BellottiVonNeumann1927-1 HISTORYOFMATHEMATICS #VonNeumann1927 MancosuZach2023] Review of Symbolic #Logic 9(3), pp. 429-455 (2016) Von Neumann's Consistency Proof Luca Bellotti (University of Pisa, Italy) M.t. Von Neumanns Widerspruchsfreiheitsbeweis