MCCULLOUGH-BENNER, C. Mathematical Truth without Reference. Problemos, p. 70–77, 10 Dec.2014.