1925], Begrundung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, Mathematische Annalen 93 (0)

by Wilhelm Ackermann