Return to Article Details A Note on Gödel, Priest and Naïve Proof Download Download PDF