Всю первую половину XX века математическая логика рассматривалась как наука, занятая исключительно проблемами логического обоснования математики, как своего рода философский анклав в математике; в СССР она находилась под подозрением со стороны борцов со всевозможными “измами”, и первая кафедра математической логики была открыта лишь в 1959 году.