BIBLIOGRAPHY
The works which mark the principal historical stages of
axiomatization
have been indicated in the course of the
article. Among contemporary
works which deal with axio-
matics,
without being themselves axiomatic, are the follow-
ing: H. Scholz, Die Axiomatik
der Alten (1930-31), reprinted
in Mathesis universalis (Basel-Stuttgart, 1961); F. Gonseth,
Les Mathématiques et la
réalité, essai sur la méthode axio-
matique (Paris, 1936);
J. Cavaillès, Méthode axiomatique
et
formalisme (Paris, 1938); G. G. Granger, Pensée formelle et
sciences de
l'homme (Paris, 1960), esp. Ch. VI; W. and M.
Kneale, The Development of Logic (Oxford, 1962). For an
introductory exposition: R. Blanché, L'axiomatique (Paris,
1955), trans. as Axiomatics (London, 1962). Also A. Tarski,
Introduction to Logic and to the Methodology of the Deduc-
tive Sciences, 3rd ed. rev.
(New York, 1965), pp. 140, 234ff;
R. L. Wilder, Introduction to the Foundations of Mathe-
matics (New York, 1952); F. Enriques, Historic Development
of Logic, trans. J. Rosenthal (New York,
1933).
ROBERT BLANCHÉ
[See also
Abstraction in the Formation of Concepts; Mathe-
matical Rigor; Number;
Structuralism.]
