Si la logique contraint la réalité, alors l'interprétation formaliste des mathématiques rejoint l'interprétation platonicienne car la "transcendance" (indépendance des résultats mathématiques de nous) considérée par le platonisme se retrouve dans l'utilisation de la logique (qui contraint le monde) lors des déductions formelles => la validité des déductions est indépendante de nous. Autrement dit, un formaliste doit croire à la réalité des énoncés de type "axiomes=>théorèmes", du moins s'il est convaincu que la logique classique contraint la réalité.