En 1929 participó como oyente en el famoso debate de Davos, entre otros intelectuales franceses y alemanes (Cassirer, Heidegger).

Estuvo a menudo en Alemania, concretamente en (Berlín, Hamburgo, Gotinga, Tubinga o Múnich.

Ahí pudo observar el ascenso al poder del partido nazi, además de obtener una buena formación académica.

[1]​ En 1937, en la Sorbona defendió dos tesis doctorales: Méthode axiomatique et formalisme y Remarques sur la formation de la théorie abstraite des ensembles, dirigidas ambas por Léon Brunschvicg.

De este modo, quedó inscrito entre los grandes lógicos franceses, como Louis Couturat o Jacques Herbrand.