war 1930–40 Professor der mathematischen Logik in Lemberg. Chwistek vertrat in seinen Arbeiten zur Erkenntnistheorie und zu Grundlagenproblemen der Logik und Mathematik in Anlehnung an H. Poincaré einen nominalistisch-konstruktivistischen Standpunkt; er entwickelte 1924 eine konstruktive Typentheorie, später eine darauf basierende Theorie der Klassen sowie eine Semantik und eine »rationale Metamathematik«. Chwistek