Mostowski

Mostowski Andrzej , 1. 11. 1913 - 22. 8. 1975, pol. matematik a logik; prof. univ. ve Varšavě, akad. Polské AV (1956). Zabýval se zejm. aplikací algebraických metod v log. a teorií rekurzívních funkcí. Dokázal nezávislost axiómu výběru na ostatních axiómech teorie množin.