I take it that formalists about math and logic say that these endeavors are just manipulations of meaningless symbols in specified ways. How does a formalist interpret existence proofs such as the one used in the completeness proof of modal logic?

Advertisements