Carrara, M.; Martino, E. A Note on Gödel, Priest and Naïve Proof. LLP 2020, 30, 79-96.