From a formalist or anti-realist perspective (Wittgenstein, Dummett), there is no model-independent ...