It may be argued that, by using these principles, the mathematical fictionalist will be entitled to use the compactness theorem. First, one should try to state this theorem in a nominalistically acceptable way. Without worrying too much about details, let us grant, for the sake of argument, that the following characterization will do: