Mostowski, A. On models of axiomatic systems. (English) Zbl 0053.20102 Fundam. Math. 39, 133-158 (1953). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 12 Documents MathOverflow Questions: Is true arithmetic + \(\lnot Con (TA)\) consistent? Keywords:philosophy and foundations of mathematics PDFBibTeX XMLCite \textit{A. Mostowski}, Fundam. Math. 39, 133--158 (1953; Zbl 0053.20102) Full Text: DOI EuDML