pasha:
QUOTE Аксиоматика разная.
Прекрасно, разная аксиоматика разная. Но ведь утверждения, на основе модели, построенной на этой аксиоматике делаются об одном и том же реальном объекте. Если эти утверждения различны, это означает, что одна модель адекватна, а другая - нет. Что означает, что одна аксиоматика введена корректно, а другая - нет.
QUOTE Название такое. Не следует искать в названии глубокого смысла.
В названии - нет. Однако, есть причины, почему базовая названа именно базовой. Об этим причинах, в данном конкретном случае, имеет смысл задуматься. Что и в общем случае, кстати, не мешает.
QUOTE Я предлагаю не вводить операцию сравнения в тех случаях, когда это некорректно.
В чём некорректность? Мы не можем сказать про двух людей, что они похожи? Или наоборот, что они сильно различны? Достаточно меру определить, и сравнивай, что хочешь.