It follows from results due to McGee (1985) that FS is \(\omega\)-inconsistent, that is, FS proves \(\exists x\neg \phi(x)\), but proves also \(\phi\)(0), \(\phi\)(1), \(\phi\)(2), … for some formula \(\phi(x)\) of \(\mathcal{L}_T\). The arithmetical theorems of FS, however, are all correct.