Тяготение к универсальным категориям и желание построить на их основе столь же всеохватывающие концепции – отличительная черта науки ХХ в. Само по себе это явление не уникально, поскольку именно универсалии являются характерным признаком «большой» науки. Однако универсалии ХХ в. обладают одной существенной особенностью: они основаны на прагматике и служат, прежде всего, прагматическим целям. Так, утверждение, что все математические объекты являются структурированными множествами, хотя и неверно во всей общности, в широких пределах представляет собой чрезвычайно эффективный инструмент установления нетривиальных связей между самыми отдаленными областями математики. Эта эффективность предопределила метафизическую разработку самого понятия множества, которое при ближайшем рассмотрении оказалось очень тонким и многогранным