An anti-realist philosophy of mathematics, largely associated with Hilbert, that mathematics can be axiomatized and treated as the manipulation of symbols independent of further meaning. In this view, a mathematical statement has no truth in reality, its truth being solely a matter of verification using the axioms. See Godel’s Incompleteness Theorems, intuitionism, logicism, Platonism.