Finsler, Paul Gibt es unentscheidbare Sätze,. (German) Zbl 0063.01379 Comment. Math. Helv. 16, 310-320 (1944). Not reviewed PDFBibTeX XMLCite \textit{P. Finsler}, Comment. Math. Helv. 16, 310--320 (1944; Zbl 0063.01379) Full Text: DOI EuDML