von Neumann, J. La fundamentación Formalista De La matemática. Metatheo 2020, 10, 79-82.