[FOM] Provability of Consistency

[Mikhail Katz]

Artemov's theorem is a fascinating challenge to Goedel's
interpretation of Hilbert's consistency program.  On the other hand,
Artemov's article appears to adopt Goedel's philosophical hypothesis
concerning the existence of a so-called standard model of the natural
numbers.  Is this really necessary for the argument of Artemov's paper
or could one just as well have expressed it in terms of any fixed
reference model, eschewing Goedel's philosophical assumptions?

Mikhail Katz