Определение через абстракцию

Определение "Определение через абстракцию" в Большой Советской Энциклопедии

Определение через абстракцию, способ описания (выделения, «абстрагирования») не воспринимаемых чувственно («абстрактных») свойств предметов путём задания на предметной области некоторого отношения типа равенства (тождества, эквивалентности). Такое отношение, обладающее свойствами рефлексивности, симметричности и транзитивности, индуцирует разбиение предметной области на непересекающиеся классы (классы абстракции, или классы эквивалентности), причём элементы, принадлежащие одному и тому же классу, неотличимы по определяемому т. о. свойству. Так, например, в политической экономии определяется стоимость (через отношение обмениваемости товаров), в теории множеств - мощность множеств (через отношение теоретико-множественной эквивалентности). Определение через абстракцию всегда (хотя обычно и неявно) опирается на т. н. принцип абстракции, или принцип свёртывания, согласно которому каждому свойству соотносится класс (множество) объектов, обладающих этим свойством. В практических приложениях этот принцип весьма удобен, естествен и плодотворен; но постулирование его как универсального методологического закона приводит к трудностям, проявляющимся прежде всего в виде парадоксов (логики и теории множеств). См. Аксиоматический метод, Метаматематика, Непротиворечивость.