Almeida, E. L. B. de. Análise De Uma Fundamentação Da Verdade De Sentenças Aritméticas. R. Fil. Mod. Contemp. 2018, 6, 57-94.