under criticism. Part of L. E. J. Brouwer's critique of Hilbert's entire program resulted in an axiomatisation of intuitionistic propositional logic by Arend Heyting. It allowed constructivism in mathematics to be reconciled with "deductivism", by an exchange of logical calculus, under the title of the Brouwer-Heyting-Kolmogorov interpretation.