Polski matematyk i logik oraz alpinista i polityk.
W 1955 ukończył VI Liceum Ogólnokształcące im. Tadeusza Reytana w Warszawie, następnie studia na Wydziale Matematyki Uniwersytetu Warszawskiego. W latach 1959-1961 pracował na stanowisku asystenta w Instytucie Maszyn Matematycznych PAN. W 1967 uzyskał stopień naukowy doktora (jego promotorem był Andrzej Stanisław Mostowski). Publikował artykuły naukowe z zakresu teorii mnogości i teorii modeli. W latach 1984-1986 był członkiem Senatu UW, a przez kolejne cztery lata wchodził w skład Rady Międzynarodowej Unii Historii i Filozofii Nauki. Wykładał gościnnie na uniwersytetach, m.in. w Wielkiej Brytanii, Francji, Szwecji i Norwegii. Wyróżniony tytułem doktora honoris causa University of Leeds.