Brouwer, quien resueltamente descartó el formalismo como un juego fútil con símbolos (van Dalen, 2008).