Les entretiens de Zurich sur les fondements et la méthode des sciences mathématiques, 6-9 décembre 1938