A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas (Q923081)

Using the definability of truth for \(\Sigma_ n\)-formulas and the reflection principle the author proves in ZF the consistency of the subtheory \(ZF_ n\) mentioned in the title of his short note. In fact, the author's (somewhat stronger) result and his proof are well-known and can be found as Theorem 32 in \textit{A. Levy}'s ``A hierarchy of formulas in set theory'' [Mem. Am. Math. Soc. 57 (1965; Zbl 0202.305)] (a paper cited by the author in his list of references). Alternatively, one could use for a simple proof the fact that \(ZF_ n\) is finitely axiomatizable [cf. \textit{E.-J. Thiele}: ``Über endlich-axiomatisierbare Teilsysteme der Zermelo-Fraenkelschen Mengenlehre'', Z. Math. Logik Grundlagen Math. 14, 39-58 (1968; Zbl 0177.014)].