Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalküls. Walter Dubislav — 1929 Journal für die reine und angewandte Mathematik