Excerpts Ackermann: "Begründung des 'Terium non Dator' mittels der Hilbertschen Theorie der Widerspruchsfreiheit"