formalism 1(n)

vaateviis, et matemaatilisi väiteid tuleb käsitleda interpreteerimata sümboliridadena