La philosophie de la recherche scientifique ne correspond pas toujours avec les points de vue philosophiques affichés des chercheurs. Dans cette perspective, nous étudions les activités développées au cours de l'entredeux-guerres par l'école de mathématiques de Lwów, dont les chefs de file étaient Stefan Banach et Hugo Steinhaus. Les méthodes de preuve non constructives étaient caractéristiques de l'école et sont étroitement liées au problème philosophique de l'existence des objets mathématiques. Nous abordons la question des relations entre formalisme et intuitionnisme, qui est tangente aux activités mathématiques de l'école.