But is mathematics conservative? In order to establish the conservativeness of mathematics, the mathematical fictionalist has used metalogical results, such as the completeness and the compactness of first-order logic (Field 1992, 1980, 1989). The issue then arises as to whether the mathematical fictionalist can use these results to develop the program.