В топологии , разделе математики , теореме Бореля , из-за Армана Бореля ( 1953 ), говорится, что кольцо когомологий классифицирующего пространства или классифицирующего стека является полиномиальным кольцом . [1]