Что такое определение?

[Someone]

Определение — это сокращение. Оно позволяет, например, говорить "непрерывная функция" вместо дублирования полного определения непрерывной функции везде, где требуется упоминание непрерывности.

katzenelenbogen в сообщении #1666149 писал(а):

определение - это логическая операция установления смысла термина

Нету такой логической операции. И логика вообще ничего о смысле не говорит. Логике смысл безразличен.

[b4b5]

Логика говорит о части смысла.
И определение - не является сокращением в общем случае.

[Mihr]

b4b5 в сообщении #1666499 писал(а):

Логика говорит о части смысла.
И определение - не является сокращением в общем случае.

Можете подтвердить примерами оба эти тезиса?

[GAA]

Someone в сообщении #1666495 писал(а):

Определение — это сокращение. Оно позволяет, например, говорить "непрерывная функция" вместо дублирования полного определения непрерывной функции везде, где требуется упоминание непрерывности.

Нет ли неточности? Может быть «термин — это сокращение. Он позволяет, например, говорить "непрерывная функция" вместо ...»

(какие все формалисты, а смысл в попытках формализации?)

А определение — это пара строк символов или строка символов и последовательность строк символов. Первая строка называется термином, а вторая строка / последовательность строк...(Естественно, символы должны принадлежать заданному алфавиту. Естественно можно наложить ещё ограничения на эти строки символов.)
...
Но большая часть математических дисциплин строится неформально: изложение идёт на естественном языке. Нигде в предисловии к курсу анализа мы не найдем задание алфавита, синтаксиса и т.п.

[Someone]

GAA в сообщении #1666504 писал(а):

Нет ли неточности? Может быть «термин — это сокращение.

Ну да, это и имелось в виду.