J. von Neumann, «La fundamentación formalista de la matemática», Metatheo, vol. 10, n.º 2, pp. 79–82, abr. 2020.