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

А сравнивать мы (люди) умеем только действительные числа. Уже для комплексных чисел операция сравнения не определена. Поэтому при оценивании и сравнивании мы вынуждены придумывать правила, которыми приписываем объектам числа. Однако зачастую эти числа настолько неудобны и неинформативны, что воспользоваться ими почти невозможно.

Пример: Покупка яблок. Покупатель хочет четыре яблока. Одно из тех, что дал продавец его не устраивает - кажется слишком зелёным. Но если подходить формально - на ценнике написано: "Яблоко - столько-то рублей". Продавец даёт ему четыре яблока за эту цену? Да. Это действительно яблоки? Да. Там сказано что-то про зелёное/не_зелёное? Нет. Так какого чёрта ему что-то не нравится? Да и как определить ДОСТАТОЧНО ли оно зелёное или нет - только если выразить цвет численно. А есть ещё и вкус, запах, форма...