Abstract

This is a account of the revival of Foundations of Mathematical Logic, and more generally Foundations of Mathematics after WWII. The perspective is limited to years 1945–1975. This coincided with the activities of Professor Andrzej Mostowski, the principal leader of the foundational research in Poland during the reported time. Moreover, in this text, we focus on the development of Foundations in Warsaw, which misses an important aspect of the foundational research in Poland of the time, specifically in Wrocław. Even the description of the Warsaw efforts is incomplete, not covering Foundations of Geometry. We focus on activities of three main researchers: Andrzej Mostowski, Helena Rasiowa and Andrzej Grzegorczyk.