 Given this view on meaning, the central notion in the theory of meaning for mathematics is not, as in Platonism, truth, but proof; the understanding of a mathematical statement consists in the ability to recognize a proof of it when one is presented with one. This then, as Dummett argues, leads to the adoption of intuitionistic logic as the logic of mathematical reasoning. 