Математика оперирует конкретными понятиями. Что позволяет достичь консенсуса в конкретных ситуацях. Но где границы конкретного? Вы уверены, что можно изгнать неконкретное, сказав волшебное слово "справедливость"?
Не совсем так. Математика оперирует
абстрактными понятиями. Что позволяет достичь консенсуса в
конкретных ситуациях.
Схема прихода к согласию путём изгоняния конкретного из конкретно примерно такая:
1. Выдумать абстракцию.
Примеры: множество, мера, число.2. Прийти к согласию относительно свойств этой абстракции. Это не очень сложно, т.к. абстракции могут быть по своей конструкции радикально проще конкретных вещей и даже классов конкретных вещей.
Примеры: правила сравнения чисел, арифметические операции.3. Рассматривая конкретную вещь, прийти к согласию, что в ней есть нечто, что можно соотнести с выдуманной абстракцией.
Пример: стадо баранов можно рассмотреть как множество, обладающее мерой - количеством баранов.4. Автоматически и уже неоспоримо прийти к согласию относительно свойств конкретной вещи.
Пример: вот это конкретное стадо баранов больше вон того конкретного стада потому что в этом число баранов на три больше, чем в том.