Хайдук wrote:
Есть такая стратагема... Любой хороший ученый должен уметь объяснить любую научную проблему на понятном собеседнику языке...
Она однако, не ко всем применима. К Впитеру точно не применима

Но попробую для Вас.

class A бла-бла-бла - это терм.
new A - это типа вот уж теперь существует объект, удовлетворяющий определению A
A==B - соотношение. Если мы его постулируем, что в программировании встречается редко, то это аксиома.
Например, если мы объекты приравняем.
Если нет, то это теорема. Которая, в отличие от математики имеет два исхода.
Какжый исход порождает либо Евклида, либо Лобачевского.

Аналогия неправильная, но, надеюсь, доступная.

Любой хороший ученый должен уметь объяснить любую научную проблему на понятном собеседнику языке...