Визначення через абстракцію , спосіб опису (виділення, «абстрагування») не сприйманих плотський («абстрактних») властивостей предметів шляхом завдання на наочної області деякого відношення типа рівність (тотожність, еквівалентності ). Таке відношення, що володіє властивостями рефлексивності,симетричності і транзитивності, індукує розбиття наочної області на класи (класи абстракції, або класи еквівалентності), що не перетинаються, причому елементи, що належать одному і тому ж класу, невідмітні по визначуваному т.ч. властивості. Так, наприклад, в політичній економії визначається вартість (через відношення обмінюваності товарів), в теорії безлічі — потужність безлічі (через відношення теоретико-множинної еквівалентності). О. ч. а. завжди (хоча зазвичай і неявно) спирається на т.з. принцип абстракції, або принцип згортання, згідно з яким кожній властивості співвідноситься клас (безліч) об'єктів, що володіють цією властивістю. У практичних застосуваннях цей принцип вельми зручний, естествен і плідний; але постулювало його як універсального методологічного закону приводить до труднощів, що виявляються перш за все у вигляді парадоксів (логіки і теорії безлічі). Див. Аксіоматичний метод,Метаматематика,Несуперечність .
