In order for mathematical fictionalists to be entitled to use the compactness theorem, they will have to show that the nominalistic formulation (Compact#) follows from the platonistic one (Compact). In this sense, if the latter is adequate, so is the former. More accurately, what has to be shown is that (Compact#) follows from a modal surrogate of (Compact). After all, since what is at issue is the legitimacy of the compactness theorem on nominalist grounds, it would be question-begging to assume the full platonistic version from the outset. As we will see, there are two ways to try to establish this result. Unfortunately, none of them works: both are formally inadequate.