Clearly, there may well be another option that establishes the intended conclusion. But, to say the least, the mathematical fictionalist has to present it before being entitled to use metalogic results. Until then, it is not clear that these results are nominalistically acceptable.