I think the OP means a model of the assertion that arithmetic is inconsistent. It still seems weirdly written, though. (E.g,I don’t know how to interpret, “up to any finite ordinal level, standard models of first-order arithmetic”.)
I think the OP means a model of the assertion that arithmetic is inconsistent. It still seems weirdly written, though. (E.g,I don’t know how to interpret, “up to any finite ordinal level, standard models of first-order arithmetic”.)