b) LOG. et MATH. Expression formalisée d'un ensemble d'éléments; caractère de l'ensemble ainsi traité : 5. ... E. Schrodinger [a] pu dès 1926 démontrer que le formalisme de la mécanique quantique pouvait être considéré comme une simple transposition algébrique de celui auquel aboutissait la mécanique ondulatoire...
Hist. gén. sc.,t. 3, vol. 2, 1964, p. 142.
− [P. oppos. à intuitionnisme] Théorie selon laquelle le raisonnement mathématique a pour objet des symboles considérés en eux-mêmes et se déroule de manière automatique suivant des règles constantes préétablies. La présentation logique des théories déductives a (...) pris, aux environs de 1920, un nouveau tournant, en s'engageant dans la voie de la formalisation (...). Ceux-là mêmes qui ne croient pas à la toute-puissance de la logique et qui défendent les droits de l'intuition, ont dû, eux-aussi, céder au mouvement pour pouvoir se justifier aux yeux de leurs adversaires, et l'on a vu ainsi (...) énoncer les « règles formelles de la logique intuitionniste » et se constituer un « formalisme intuitionniste » (R. Blanché, L'Axiomatique,Paris, P.U.F., 1959, p. 52).