, Si ce principe est correct, en effet, nous avons l'explication cherchée

J. Dubucs and . Carnap, Gödel et la nécessité mathématique, Lepage F. et Rivenc F. éd. Carnap aujourd'hui, 2003.

P. Engel, « Believing, holding true and accepting », Philosophical explorations, vol.1, pp.140-151, 1998.

P. Engel, Believing and Accepting, 2000.
URL : https://hal.archives-ouvertes.fr/halshs-01200561

P. Engel, Is Truth a Norm, pp.37-51, 2001.
URL : https://hal.archives-ouvertes.fr/ijn_00000152

S. Feferman, Transfinite recursive progressions of axiomatic theories, Journal of Symbolic Logic, vol.27, pp.259-316, 1962.

S. Feferman, « Reflection on Incompleteness, Journal of Symbolic Logic, pp.1-48, 1991.

H. Field, « Deflating the conservativeness argument, Journal of Philosophy, vol.96, pp.533-540, 1999.

K. Gödel, H. Paul-bena-cerraf, and . Putnam, What is Cantor's continuum problem ?, Philosophy of Mathematics : Selected Reading, pp.470-485, 1964.

L. Horsten, The Tarskian Turn, 2011.

J. Ketland, « Deflationism and Tarski's Paradise », Mind, vol.108, pp.69-94, 1999.

P. Maddy, Realism in mathematics, 1990.

J. Myhill, Some remarks on the notion of proof, Journal of Philosophy, vol.57, pp.461-471, 1960.

S. Shapiro, Proof and Truth : Through Thick and Thin », vol.95, pp.493-521, 1998.

A. Tarski, , 1983.

N. Tennant, Deflationism and the Gödel-Phenomena, p.111, 2002.

B. Van-fraassen, The Scientific Image, 1980.

B. Van-fraassen, The Journal of philosophy, vol.81, pp.235-256, 1984.

C. Wright, « Warrant for nothing (and foundations for free) ? », Philosophical Studies, vol.106, pp.41-85, 2004.