41
Beth, E. W., The Foundations of Mathematics, Amsterdam, 1959, p. 31 y ss., y Heinrich Scholz, Die Axiomatik der Alten, «Mathesis Universalis», Darmstadt, 1961, p. 27 y ss.
42
Cfr. Beth, ob. cit., p. 32.
43
Un postulado análogo podría formularse también para los términos (o los conceptos) que aparecen en la ciencia: Debe existir un número finito de términos tales que a) su significado sea tan evidente, que no requiera ninguna explicación, y b) todos los demás términos puedan definirse a partir de ellos. Pero como aquí no nos vamos a ocupar de términos, sino tan sólo de enunciados, omitimos esta versión del Postulado de la Evidencia.
44
Blanché, Robert, L'Axiomaque, PUF, París, 1967 (1ª ed. 1955), cap. 1.
45
Cfr. Blanché, ob. cit.
46
Hilbert, David, Grundlagen der Geometrie, 1899.
47
Véase para lo que sigue Tarski, Alfred, Logic, Semantics, Metamathematics, Oxford, 1956, especialmente los siguientes capítulos: II. On Some Fundamental Concepts of Metamathematics, p. 30 y ss.; IV. Investigations into the Sentential Calculus (en colaboración con Jan Lukasiewicz), p. 38 y ss.; V. Fundamental Concepts of the Methodology of the Deductive Sciences, p. 60 y ss.; XI. On the Foundation of Boolean Algebra, p. 320 y ss.; y XII. Foundations of the Calculus of Systems, p. 342 y ss.
48
Tarski, ob. cit., capítulos V y XII, mencionados en la nota anterior.
49
Aquí sólo mencionamos los requisitos más importantes. Para una exposición más completa, véase Tarski, ob. cit., cap. XII, p. 346.
50
Cfr. Tarski, ob. cit., cap. V, ps. 69-70.