Любое

В такой точной, строгой, жёсткой дисциплине как математика существует несколько неформальное понятие - любой.
Даже обозначение символическое существует - в виде перевёрнутой буквы А.
Причём используется это понятие для определения самых фундаментальных математических сущностей.
Например - предела. Откуда следует всё самое эффективное в приложениях - производные, интегралы, дифференциальные уравнения и много чего другого.

Более того, в понятии - любой - присутствует и представление о случайности.
Плюс понятия о непредвзятости, критическом отношении и рассмотрении самых неудобных случаев.

Хотя, любой происходит от слова любовь, то есть чем-то понравившийся элемент или случай.
Впрочем, синонимом в данном случае является - произвольный.

То есть, математика экзистенциально является следствием взаимодействия двух сущностей - порядка (логики) и возможности выбирать. Диалектика логики и выбора.
Строгая логика и несколько вальяжный, элегантный выбор.
Правильная, изящная логика и повидавший виды небрезгливый себе на уме выбор.
И порождение этого союза противоположностей по расчёту - доказательство.

Кстати, выбор выбора не обосновывается никак.
Это было в математике кризисом мировоззрения в конце 19 века.
Решили всё просто - ввели Аксиому Выбора.

Между прочим, этот диалектический принцип - сочетание логики и выбора - лежит в основе существование любых самоорганизующихся систем.
Любой порядок даёт возможность устойчивого существования, даже если он сомнительный. Выбор без порядка это замена одного хаосв другим. Пока выбор молодой это даже забавляет. Но постепенно надоедает. И выбор хочет остепениться...
Впрочем, порядок среди конечных обусловленных сущностей - тоже конечный.
Так как он если даже и истинен, то относительно, с некоторой точностью, поэтому всегда ограничен - в пространстве-времени, или в какой-то ещё упорядочивающей системе отношений.

Кстати, это может обходится без доказательств.
Доказательство это - роскошь.
Не всем она доступна.
Ну так - существуют же без доказательств.
Звери, к примеру. Кто сильнее, тот и прав.

Впрочем, плод любви логики и выбора тоже может потерять здоровье.
Тогда возникает принцип - кто подлее, тот и прав.
Можно привести даже примеры...
:улыб:

Вообще-то, союз логики и выбора может и распастся.
Это - конец системы, если не сказать хуже... Развод с разделом нажитого непосильным трудом...

Д