This is only possible if math itself is real. Note that I am not saying that a particular axiom system like Euclidean geometry has some sort of "real physical manifestation". No, what I am saying is that logical reasoning itself is real. And our reasoning about logical reasoning is certainly real as well, even if logical reasoning itself happens in very abstract form. Math itself might be viewed by some as just a game of symbols. But that doesn't change the fact that the game itself is real. Would it be otherwise, then math would be about as important as chess.