Вопрос к геометрам. Часть 2

[LionKing]

arseniiv в сообщении #1089449 писал(а):

LionKing в сообщении #1089436 писал(а):

Правда тогда придется отказаться от сокращающих символов, а стало быть и от всех определений заодно.

1. Не обязательно понимать определения как введения сокращений. Более того, не всякий новый символ можно ввести как сокращение. Например, определяющую $-$ в теории какой-нибудь абелевой группы аксиому $x-y=z\Leftrightarrow x=z+y$ (допустим, унарного минуса в исходном языке нет) никаким осмысленным сокращением не посчитать.
2. То, что трёх языков много, не означает, что достаточно одного. Разумеется, мы говорим о формализованном языке на каком-то ещё языке. Но три — перебор, да и вообще акцент на числе использованных языков — это несколько не то, что в фокусе при их изучении.

Полностью согласен.