Шулай уҡ 1970-сеxa0— 1980-се йылдарҙа форсинг ысулы үҫешендә (Коэн тарафынан ZFC-та континуум-гипотезаның хәл иткеһеҙ булыуын иҫбатлау өсөн булдырылған) Соловейҙың, Скотт һәм Вопенканың (чех Petr Vopěnka) хеҙмәттәрендә Буль ҡиммәтле моделдәр теорияһы эшләнә, уның нигеҙендә стандарт булмаған анализдың үҙаллы тармағыxa0— Буль ҡиммәтле анализ барлыҡҡа килә.