Kolaps Mostowskiego (kolaps przechodni) – zbiór przechodni, który wraz z relacją należenia jest izomorficzny z daną ufundowaną relacją ekstensjonalną. Termin kolaps Mostowskiego jest też używany na określenie samego izomorfizmu z wyjściowego zbioru z relacją na zbiór przechodni.
Izomorfizm ten był użyty przez Kurta Gödla w 1937 w niebezpośredniej formie. Samodzielne twierdzenie o istnieniu kolapsów przechodnich było sformułowane i udowodnione przez Andrzeja Stanisława Mostowskiego w 1949Andrzej Mostowski: An undecidable arithmetical statement, „Fundamenta Mathematicae” 36 (1949), s. 143–164..
Twierdzenie o kolapsie Mostowskiego jest nazywane także twierdzeniem o ściąganiuZobacz np.: Wojciech Guzicki, Paweł Zbierski: Podstawy teorii mnogości, Państwowe Wydawnictwo Naukowe, Warszawa 1978, s. 14..
Definicje Relacja dobrze ufundowana (lub po prostu relacja ufundowana) to relacja dla której nie istnieje nieskończony -zstępujący ciąg czyli taki nieskończony ciąg elementów zbioru w którym każdy element jest w relacji z następującym bezpośrednio przed nim: