Бесконечность — категория человеческого мышления, используемая для характеристики безграничных, беспредельных, неисчерпаемых предметов и явлений, для которых невозможно указание границ или количественной меры. Используется в противоположность конечному, исчисляемому, имеющему предел. Систематически исследуется в математике, логике и философии, также изучаются вопросы о восприятии, статусе и природе бесконечности в психологии, теологии, физике соответственно.Исторически первые проблемы бесконечности — вопросы конечности пространства и времени, количества вещей в мире, более сложные проблемы — возможность бесконечного деления континуума, возможность оперирования с бесконечными объектами, природа и поведение бесконечно малых величин — инфинитезималей, наличие различных типов бесконечности и соотношение между ними. Наиболее глубокое исследование бесконечности предпринято в математической теории множеств, в которой построено несколько систем измерений различных видов бесконечных объектов, однако без дополнительных искусственных ограничений такие построения вызывают многочисленные парадоксы, пути их преодоления, статус теоретико-множественных построений, их обобщений и альтернатив являются основным направлением исследований бесконечности у философов современности.Основные понятия:Потенциальная и актуальная бесконечность:Бесконечность может рассматриваться как неограниченность некоторого процесса, например, когда во втором постулате Евклида утверждается возможность продолжить бесконечно и непрерывно любую прямую, то имеется в виду, что процесс можно непрерывно продолжать, но существование такого самостоятельного объекта, как бесконечная прямая, из него не следует. Такого рода процессы и совокупности объектов, их описывающие, характеризуют как потенциальную бесконечность, потенциально бесконечное не подразумевает целостных бесконечных предметов и явлений, в каждой фазе бесконечного процесса рассматриваются лишь конечные сущности, то есть является лишь частичным отрицанием конечного.Альтернативой является понятие актуальной бесконечности, которая означает рассмотрение конечно неизмеримых объектов как данность, как реально существующих, но при этом как единых и целостных, с которыми возможно оперировать. В таком ключе актуально бесконечное — как прямое и полное отрицание конечного — используют мистики для характеризации различных божественных категорий, математики современности оперируют с актуально бесконечными множествами и актуально бесконечномерными пространствами. Представления о допустимости и содержании актуальной бесконечности в философии, теологии, логике, математике, естествознании существенно менялись на протяжении всего времени рассмотрения вопроса.Качественная и количественная бесконечность:Качественная бесконечность — категория, определяющая всеобщий, неиссякаемый, универсальный характер связей объектов и явлений, как качественно бесконечные рассматриваются в различные времена в различных философских школах такие категории, как Абсолют, Космос, Бог, Ум и другие.Количественная бесконечность характеризует процессы и объекты, измерение которых невозможно конечными величинами, с количественной бесконечностью оперируют математики, изучая, например, свойства бесконечных рядов, бесконечномерные пространства, множества из бесконечного количества элементов; в логике и философии исследуются возможности и ограничения такой работы с количественной бесконечностью.Континуум:Континуум  — форма бесконечности, относящаяся к идее о непрерывности, целостности объектов в смысле возможности бесконечного их разделения на составные части и потенциальной бесконечности этого процесса. Континуальность противопоставляется дискретности, прерывистости, наличию неделимых составляющих. Континуумом представляются отрезки числовой оси  Инфинитезималь:Инфинитезимали — бесконечно малые величины, фигурирующие в потенциально бесконечных процессах, характеризующихся последовательным убыванием величин, в частности, при разделении континуума на составные части, в убывающих числовых последовательностях, иногда — в представлении об атомарной структуре мироздания или сознания. Математическое описание инфинитезималей, созданное Ньютоном и Лейбницем в исчислении бесконечно малых, стало базисом математического анализа.В математике:Теория чисел:Одним из основных источников ранних представлений о бесконечности были натуральные числа и потенциальная бесконечность натурального ряда. Одним из первых нетривиальных результатов о бесконечности в теории чисел считается доказательство от противного бесконечности множества простых чисел в «Началах» Евклида: если предположить конечность множества простых чисел, то число, равное сумме и произведения всех чисел из этого множества, не делится ни на одно из них, но при этом или само является простым, или делится на некоторое простое число, не входящее в исходное множество; и то, и другое противоречит исходной посылке. Теоретико-числовое суждение о бесконечности представляет парадокс Галилея: каждому числу может быть сопоставлен его квадрат, то есть, квадратов не меньше, чем всех чисел, но при этом не из каждого числа можно извлечь корень, то есть, квадраты — только часть множества всех чисел.В теории чисел не требуется применение какой-либо абстракции актуальной бесконечности, тем не менее, многие её задачи связаны с формулировкой условий бесконечности, например, по состоянию являются открытыми проблемами вопросы о бесконечности множества простых чисел, по модулю которых заданное целое число является первообразным корнем, бесконечности множества простых чисел-близнецов, бесконечности для всякого чётного числа множества пар соседних простых чисел, разность между которыми равна ему, бесконечности множества совершенных чисел.Бесконечные ряды:Первое свидетельство применения бесконечного ряда обнаруживается у Архимеда в «Квадратуре параболы», где для доказательства утверждения о соотношении 4:3 площадей сегмента, заключённого между прямой и параболой, и треугольника, имеющего с ним то же основание и равную высоту, он суммирует бесконечный ряд:В 1340-е годы Суайнсхед впервые находит сумму бесконечного ряда, не являющегося простой убывающей геометрической прогрессией:Также в XIV веке с бесконечными рядами работает Орем, используя ясные геометрические доказательства, он получает суммы достаточно нетривиальных числовых рядов, находит формулу суммы бесконечной геометрической прогрессии и доказывает расходимость гармонического ряда.В XVI веке, используя результаты Орема, находит суммы некоторых бесконечных прогрессий, образованных сложными законами.Менголи в трактате, опубликованном в 1650 году устанавливает ряд важных свойств рядов, вводит понятие остатка ряда, тем самым неявно рассматривая ряды как целостные объекты, а также доказывает расходимость обобщённого гармонического ряда. Меркатор в 1668 году открывает разложение логарифмической функции в степенной ряд. , а в 1667 году Грегори — разложения тригонометрических функций, и, наконец, Тейлор, обобщая результаты Меркатора, Грегори, а также Ньютона, в 1715 году показывает возможность разложить в бесконечный ряд любую аналитическую функцию в заданной точке, тем самым установив возможность представления значений обширного класса функций бесконечными суммами.Исчисление бесконечно малых:Хотя метод исчерпывания, известный со времён античности, и метод неделимых, сформулированный Кавальери в 1635 году, в той или иной мере используют сведение к бесконечно малым величинам, первые попытки алгебраизации операций с бесконечно малыми были сделаны Валлисом, Барроу и Грегори в середине XVII века, в явном виде математическая абстракция инфинитезималей была создана в 1680-е годы практически одновременно Ньютоном в его «методе флюксий» и Лейбницем  Строгие определения бесконечно малых с использованием понятий предела, сходимости и непрерывности даны в XIX веке Коши и Вейерштрассом, наиболее традиционной в этих определениях стала так называемая - \alpha \right -  \varepsilon   В более поздних определениях бесконечно малых используется техника окрестностей — открытых подмножеств \ bb R , которые естественным образом обобщены в общей топологии.В нестандартном анализе Робинсона бесконечно малые вводятся как вид обобщённых чисел, не превосходящих 1n  для любого n \in \ bb N , класс всех таких чисел актуализируется «монадой нуля» \mu.Математический анализ:В математическом анализе, созданном на фундаменте исчисления бесконечно малых, вводится явно и абстракция бесконечно больших величин: ко множеству действительных чисел добавляются символы бесконечно удалённых точек +\infty  и -\infty , применяющиеся для определения граничных значений и сходимости. С символами возможно оперировать:применяются правила раскрытия неопределённостей по принципу выяснения содержания предельного выражения, приведшего к появлению бесконечности, то есть, в этом смысле в анализе символы \pm \infty  используются как обобщённое сокращение для записи предельных выражений, но не как полноценный объект  В нестандартном анализе Робинсона бесконечно большие и бесконечно малые величины актуализируются с привлечением теоретико-модельных средств, причём выразительные средства и методы доказательств благодаря этому в нестандартном анализе во многих случаях выигрывают перед классическими, и получен ряд новых результатов, которые могли бы быть получены и в классическом анализе, но не были обнаружены из-за недостатка наглядности.Проективная геометрия:Важным в актуализации представлений о бесконечности в математике стало создание Понселе в 1822 году проективной геометрии, одной из ключевых идей которой является сворачивание при проектировании бесконечно удалённого в «идеальные точки» и «идеальные прямые». Так, чтобы превратить бесконечную плоскость в евклидовом пространстве \R^2  в проективную плоскость \R P^2  необходимо для каждого класса параллельных прямых добавить идеальную точку, и все эти идеальные точки сворачиваются в. Действительная проективная прямая в этих построениях — расширение числовой прямой идеальной точкой.но при этом выражения \infty + \infty, \, \infty - \infty, \, \infty \cdot 0, \, \infty  \infty, \, 0  0  не определены.Создавая геометрическую интерпретацию комплексных чисел, Риман в 1851 году воспользовался средствами проективной геометрии, и для комплексной плоскости \Complex  построил проективное пространство \Complex P^1   — комплексное обобщение числовой проективной прямой, известное как сфера Римана: полюсы сферы — точки 0  и \infty , а стереографическая проекция переводит её в комплексную плоскость. В отличие от вещественного анализа, где используется бесконечность со знаком, в комплексном анализе используется именно проективная форма бесконечности.Теория множеств:Основной вклад в представление о бесконечности в математике внесён теорией множеств: идея актуальной бесконечности и разных сортов бесконечности занимают существенную часть этой теории.Для измерения разных видов бесконечности в теории множеств вводится понятие мощности, совпадающее с количеством элементов для конечных множеств, а для бесконечных множеств задействующее принцип биекции: если между множествами возможно установить взаимно-однозначное соответствие, то они равномощны. Так, оказывается, что множество натуральных чисел \N  равномощно множествам целых чисел, чётных натуральных чисел, всех рациональных чисел, а отрезок числовой прямой оказывается в биективном соответствии со всей числовой прямой, а также с n  -мерным евклидовым пространством. Мощность множества натуральных чисел и равномощных ему обозначается \aleph_0 , а мощность континуума — \ frak c. Далее, установлено, что между множеством всех подмножеств натуральных чисел и континуумом есть взаимно-однозначное соответствие, таким образом, \ frak c 2^\aleph_0 , и что счётное множество — наименьшее по мощности из всех бесконечных множеств. Согласно континуум-гипотезе, между \aleph_0  и \ frak c  нет промежуточных мощностей, притом, как показал Коэн в 1962 году, ни она, ни её отрицание недоказуемы в основных аксиоматиках теории множеств. Обобщённая континуум-гипотеза предполагает, что все кардинальные числа подчиняются соотношению 2^\aleph_\alpha\aleph_\alpha+1 , иными словами, все возможные бесконечные кардинальные числа в точности представляют мощности последовательного взятия булеана от множества натуральных чисел: \#\N, \#, \# \ cal P  Другой вид бесконечностей, введённый теорией множеств — порядковые числа, наряду со связанным с ними принципом трансфинитной индукции они вызвали наибольшие дискуссии в среде математиков, логиков и философов. Если кардинальные числа характеризуют класс эквивалентности относительно взаимно-однозначного соответствия, то порядковое число возникает как характеристика класса эквивалентности над вполне упорядоченными множествами, относительно биективных соответствий, сохраняющих отношение полного порядка. Для конечных множеств ординал и кардинал совпадают, но для бесконечных множеств это не всегда так, все множества одного порядкового числа равномощны, но обратное, в общем случае, неверно. Конструируются ординалы таким образом, чтобы последовательно продолжить натуральный ряд за пределы бесконечности:после чего, рассмотрев множество всех конечных порядковых чисел как \omega , вводится арифметика порядковых чисел на базе операций сложения упорядоченных множеств и произведения, и продолжается процесс:Далее строится \omega ^2 \omega \cdot \omega , далее — \omega ^3, \dots, \omega ^\omega, \dots, \omega^\omega^\omega, \cdots, , далее — \varepsilon_0  -числа:Доказано, что множество всех счётных ординалов обладает мощностью \aleph_1   — следующей за мощностью счётного множества \aleph_0 , далее строятся ординалы высших порядков. Трансфинитная индукция — обобщение принципа математической индукции, позволяющий доказывать утверждения относительно любого вполне упорядоченного множества с использованием идеи порядковых чисел. Парадокс Бурали-Форти показывает, что множество всех порядковых чисел противоречиво, но во многих аксиоматизациях теории множеств построение такого множества запрещено.Бесконечномерные пространства:Фрактальная геометрия:В программировании:Машинная бесконечность — конструкция для представления бесконечных числовых значений в языках и системах программирования и операций с ними. Стандартная арифметика с плавающей запятой содержит особые значения для +∞ и −∞: порядок состоит из одних единиц, мантисса из одних нулей. Положительная бесконечность больше любого конечного числа, отрицательная — меньше любого. Операции с бесконечностью определяются особо: + x +∞, +∞ + +∞, +∞ − ∞ NaN, log +∞, sin NaN и так далее.Ряд языков программирования позволяют работать с потенциально бесконечными структурами данных; например, в языке Haskell можно объявить бесконечный список и манипулировать им:, при этом в среде выполнения будут вычисляться только те элементы бесконечной структуры, для которых запрошен непосредственный вывод.Особым проявлением бесконечности в программировании в смысле потенциальной вечности процесса выполнения является бесконечный цикл: техника их применения используется как сознательно, так и возникает как ошибка.В логике:Апории Зенона:Апории Зенона — серия апорий, относимых к Зенону Элейскому и дошедших в основном в изложении Аристотеля, будучи одними из первых примеров логических сложностей в оперировании с бесконечными объектами   Сформулированы апории таким образом, что многие из них являются предметом дискуссий и интерпретаций в течение всего времени существования логики, включая современность. и считаются первой постановкой проблемы использования бесконечности в научном контексте «Дихотомия», хотя может быть разрешена представлением о пределе сходящейся последовательности 12 + 14 + 18 + \dots , но для неё Вейль предлагает современную интерпретацию: если вычислительная машина сконструирована таким образом, чтобы выполнять первую операцию за 0,5 мин, вторую — за 0,25 мин, третью — за 0,125 мин и так далее, то за минуту она могла бы пересчитать весь натуральный ряд.Парадоксы теории множеств:В философии:Древнеиндийская философия:В «Иша-упанишаде», относимой к IV—III веках до нашей эры обнаруживается представление о том, что добавление или удаление части из бесконечного объекта оставляет его бесконечным. В джайнистском трактате, относимом к 400-м годам до н. э, все величины разделены на три категории и три подкатегории — перечислимые, неперечислимые и бесконечные, это разделение было по-видимому первой попыткой не просто различить виды бесконечного, но и измерить соотношение между ними, а идея выделять подкатегории бесконечных величин и упорядочивать их близка к концепции трансфинитных чисел Кантора.Древнегреческая философия:У древнегреческих философов бесконечное обычно фигурирует как нечто неоформленное, несовершенное, близкое к хаосу или даже с ним отождествляемое  - locАнтичная мысль в основном рассматривает бесконечное как неоформленное, как не ставшее и, следовательно, несовершенное Бытие в античной мысли связано с категорией меры и предела. Бесконечное выступает как беспредельное, безграничное, почти не существующее – μὴὄν и потому есть нечто близкое к хаосу, а иногда и отождествляется с ним, так, в пифагорейском списке противоположностей бесконечность отнесена к стороне зла. Среди древнегреческих философов, позитивно использующих категорию бесконечного выделяются Анаксимандр, вводящий космологическое начало как бесконечное вместилище — апейрон, и атомисты, согласно которым существует бесконечное число миров, образованных из бесконечного числа атомов, содержащихся в бесконечном пустом пространстве  - loc.в античной философии были мыслители, которые более позитивно используют категорию бесконечного. Прежде всего к ним относится Анаксимандр, у которого главным началом космологии служит апейрон кроме того, здесь нужно назвать атомистов Левкиппа и Демокрита, у которых бесконечное пустое пространство содержит бесконечное количество атомов, образующих бесконечное количество миров. При этом атомистская концепция оппонировала континуалистскому подходу, в котором пространство и время считались бесконечно делимыми, тогда как у атомистов постулировались первичные неделимые элементы, а апории Зенона были призваны показать логическую несостоятельность обоих подходов.Но господствующим мнением в древнегреческой философии было отрицание актуальной бесконечности, наиболее характерное отражение этих воззрений представлено у Аристотеля в «Физике», где он отказывает в бесконечности космосу, бесконечности последовательности причин, говоря о возможности бесконечного прироста натурального ряда и бесконечности деления отрезка на малые составляющие только как о потенциальной бесконечности. Аристотелю же принадлежит классификация бесконечности на экстенсивную — возникающую при неограниченном добавлении предметов в совокупность, и интенсивную — появляющуюся при неограниченном углублении в строение объекта.На позициях отрицания актуальной бесконечности и оперирования только с потенциальной бесконечностью стоят и античные геометры, в частности, у Евклида в «Началах» второй постулат утверждает возможность произвольно долго продолжать прямую, но сами прямые и плоскости рассматриваются как конечные, хоть и почти неограниченно «большие».В работах неоплатоников, прежде всего, у Плотина, в связи с проникновением представлений восточной мистики и во многом под влиянием работ Филона Александрийского, давшего эллинистическую интерпретацию христианского Бога, формируется представление об актуальной бесконечности Ума как бесконечно могущественного и единого, и потенциальной бесконечности безграничной материи  - locУм Плотин уже называет бесконечным в следующих смыслах: в смысле его бесконечного могущества, его единства и его самодостаточности. Все сущее оказывается тем самым между двумя бесконечностями: актуальной бесконечностью Ума и потенциальной бесконечностью мэональной материи, лишенной границ и формы и получающей свои определения только через «отражения» совершенств высшего бытия.Европейская средневековая философия:В раннехристианской и раннесредневековой философии унаследовано от Аристотеля отрицание актуальной бесконечности в мире, при признании в том или ином виде за христианским Богом актуально бесконечного.В трудах схоластов XIII—XIV веков явно обозначается различие между понятиями потенциальной и актуальной бесконечности, но сохраняется отношение к актуально бесконечному как божественному, либо постулируется полное отрицание актуальной бесконечности. Однако уже Оккам обращает внимание на возможность признания существования континуума и его частей как актуально существующих при сохранении за ними свойств бесконечного — возможности бесконечного деления на составляющие части, а Суайнсхед в подтверждение своим рассуждениям о бесконечной делимости континуума математически доказывает утверждение о сумме бесконечного числового ряда. Орем, развивая построения Суайнсхеда, выстраивает систему геометрических доказательств сходимости бесконечных рядов, строит пример плоской фигуры, бесконечной по протяжённости, но с конечной площадью.В XV веке Николай Кузанский создаёт учение об «абсолютном максимуме», который он считает бесконечной мерой всех конечных вещей, тем самым давая представление, совершенно не совпадающее с античным: всё конечное рассматривается как ограничение актуально существующей божественной бесконечности, в противоположность господствовавшему представлению о существовании конечных вещей и потенциальности бесконечного  - locдля Кузанца, наоборот, любая конечная вещь выступает как потенциальное ограничение актуально бесконечной божественной возможности — бытия.Философия Нового времени:Представления Николая Кузанского развиты у Спинозы, согласно которому вещи получают своё бытие внутри бесконечной божественной субстанции посредством самоопределения через отрицание  - locАналогично и в рамках пантеизма Спинозы оказывается, что omnis determinatio est negatio: не через предел, не через ограничение бесформенной материи получают вещи свое бытие, а именно от подлежащей бесконечной божественной субстанции, внутри которой самоопределение выступает как частичная негация. От этих представлений идёт и признание в XVI—XVII веках идеи о бесконечности Вселенной, которые утвердились благодаря гелиоцентрической системе Коперника, просветительской работе Бруно, исследованиям Кеплера и Галилея. Кеплер и Галилей начинают использовать методы бесконечного в математической практике, так, Кеплер, опираясь на идеи Николая Кузанского, аппроксимирует окружность правильным многоугольником со стремящимся к бесконечности числом сторон, а Галилей, обращая внимание на соответствии между числами и их квадратами, отмечает невозможность применения тезиса «целое больше части» к бесконечным объектам.Значительная роль в представлении о природе непрерывного и сущности континуума привнесена учеником Галилея Кавальери, который в трактате «Геометрия, изложенная новым способом при помощи неделимых непрерывного» рассматривал плоские фигуры как бесконечные множества заполняющих их отрезков, а объёмные тела — как состоящие из бесконечного числа параллельных плоских фигур, используя такие метафоры: линия состоит из точек также, как и ожерелье из жемчужин, плоская фигура из линий, также как и ткань из нитей, тело из плоскостей — как книга из страниц; с использованием этого «метода неделимых» Кавальери получил значительные математические результаты.Декарт невозможность познания Бога из бытия сотворённого им мира аргументирует несоизмеримостью конечного и актуально бесконечного, непостижимость которого, по его представлению, заключена уже в самом формальном определении бесконечности. Соответственно, подлинно бесконечным Декарт признаёт лишь всемогущего Бога, а такие проявления бесконечности, как «бесконечность человеческой воли», считает проявлениями божественного образа в существе человека.Наиболее последовательным сторонником существования актуальной бесконечности был Лейбниц, в «Монадологии» он последовательно проводит идею бесконечности монад в универсуме, в каждой его части, выраженной в форме материи, обуславливая устойчивость этих частей законом предопределённой гармонии и особыми принципами подчинения монад, при этом рассматривая и монады, в свою очередь, как бесконечный в пространстве и времени универсум. Эти представления Лейбница нашли отражение в его фундаментальных трудах по исчислению бесконечно малых, представляя инфинитезимали как монады. Созданное Ньютоном и Лейбницем дифференциальное исчисление, явно актуализировавшее инфинитезимали, вызвало широкую и длительную дискуссию среди философов XVII—XVIII веков, наиболее последовательным противником методов, использующих бесконечно малые величины, был Беркли, эти дискуссии получили отражение в культуре в фабулах «Путешествий Гулливера» Свифта и «Микромегаса» Вольтера.Кант в «Критике чистого разума» отказывает в возможности рассмотрения как бесконечных чисел, так и бесконечных величин; на основе анализа антиномий чистого разума Кант характеризует мир ни как конечный, ни как бесконечный, а как «неопределённый».Гегель развивает идею теснейшей связи, почти тождества, бесконечного и абсолютного, особо рассматривает «дурную бесконечность» как отрицание конечного и как диалектическое преодоление антагонизма вводит «истинную бесконечность»; истинно бесконечен по Гегелю только Абсолютный дух. В философии диалектического материализма подчёркивается представление о бесконечном, как о диалектическом процессе, само понятие бесконечного в ней имеет различные смыслы: простейшая, практическая бесконечность; бесконечность, как абсолютность, всеобщность, завершённость; бесконечность интеллектуального мира; реальная бесконечность. Бесконечность пространства и времени Энгельс рассматривает как пример «дурной бесконечности».Наиболее значительным трудом XIX века о бесконечности, в большей степени философским —40, чем математическим стала монография Больцано , в ней систематически изучаются бесконечные множества чисел, приводятся логические и математические доводы в пользу рассмотрения актуальной бесконечности и предлагается инструментарий для исследования родов бесконечности с использованием понятия взаимно-однозначного соответствия —40.На идейной основе работы Больцано и создана в конце XIX века в трудах Кантора со значительным участием Дедекинда теория множеств, именно в теории множеств впервые мотивированно рассмотрено соотношение разных видов бесконечного, в частности, средствами понятия о мощности установлено соотношение между количеством элементов натурального ряда и количеством точек континуума, сформулирован принцип трансфинитной индукции. Кантор при этом пытался дать и философское обоснование своих построений, вводя в дополнение к трансфинитным числам, постижимым сознанием ещё и непостижимое «бесконечное в Боге»  - locСоздатель теории множеств Кантор пытался дать и богословское применение своим конструкциям с актуальной бесконечностью. Он различал три типа бесконечного: бесконечное в Боге – Абсолютное, в тварном мире – Трансфинитное, в уме человека – трансфинитные числа. Особую роль в осознании бесконечного в рамках работ по созданию теории множеств сыграло определение бесконечного множества в книге Дедекинда «Что такое числа и для чего они служат?» как взаимно-однозначное с частью себя, тогда как все предыдущие определения бесконечного носили негативный характер. К концу XIX века теория множеств получила широкое признание и практическое применение в среде математиков, но в среде теологов и философов относительно идей об актуальной бесконечности и количественных различиях её видов развернулась серьёзная дискуссия.Современная философия:В философии XX века основное содержание исследований вопросов, связанных с бесконечностью, тесно стыкуется с основаниями математики, и прежде всего, проблемами теории множеств  - locВ 20 в. философские дискуссии вокруг проблем бесконечности соотносятся с теорией множеств и проблемой оснований математики.Рассел, в системе которую он построил совместно с Уайтхедом в Principia Mathematica в преодоление парадоксов теории множеств, постулировал существование бесконечности посредством введения аксиомы бесконечности, притом в ней не допускается в возможности выведения бесконечности из других априорных понятий, не считается выводимым понятие бесконечности сугубо аналитически из принципа недопущения противоречий. Также Рассел не считал возможным изыскать апостериорное обоснование бесконечности, основываясь на здравом смысле и опыте, особо отмечая, что нет никаких оснований веры в бесконечность пространства, бесконечность времени или бесконечную делимость предметов. Таким образом, бесконечность по Расселу — гипотетический императив, которым в разных системах можно пользоваться или нет, но который невозможно обосновать или опровергнуть. Реализуя программу по преодолению парадоксов теории множеств, Гильберт и Бернайс сформировали принципы, идентифицируемые как «гильбертов финитизм», согласно которым утверждения о свойствах, сформулированных для всех элементов бесконечной совокупности возможны только при условии их воспроизводимости для каждого конкретного элемента, при этом, не ограничивая возможные абстракции бесконечного, в том числе, и трансфинитную индукцию. Витгенштейн, наиболее радикально развивший концепцию финитизма в аналитической философии, считал возможным рассматривать бесконечное только как запись рекурсивного процесса и принципиально отвергал возможность рассмотрения разных классов бесконечности.В школах, исходящих из неокантианства и феноменологии также исследовались вопросы бесконечного, так, Кассирер в дискуссии с Хайдеггером вводит имманентную бесконечность, возникающую как объективизация сферы переживаний. , в 1950-е — 1960-е годы программные работы, посвящённые бесконечному, написаны Койре и Левинасом. Индукция:Индукция — классический логический метод, позволяющий перейти от частных утверждений ко всеобщим, в том числе, относительно бесконечного множества объектов. Индукция относительно натурального ряда без какой-либо формализации отмечается ещё у Прокла и Евклида, тогда как осознание её как метода математической индукции относят к Паскалю и Герсониду. В современных обозначениях математическая индукция заключается в силлогизме:то есть, выводе свойства P  для всего множества натуральных чисел из факта его выполнения для единицы и выводимости для каждого последующего числа на основании выполнения свойства для предыдущего.Метод математической индукции считается надёжным, но распространить его можно только на счётные вполне упорядоченные множества. Попыткой распространить индукцию на произвольные вполне упорядоченные множества было создание метода трансфинитной индукции Кантором в рамках теории множеств, использующего идею трансфинитных чисел.В интуиционистской логике для применения индуктивного рассуждения на несчётные совокупности  - потоки применяется.Символы:мини — алгебраическая кривая, похожая на символ бесконечности, впервые описана в 1694 году, спустя почти полвека после появления символа «∞» у Валлиса.Символ бесконечности \infty  впервые появился в опубликованном в 1655 году трактате английского математика Джона Валлиса «О конических сечениях» citation. ; подобные символы были найдены среди тибетских наскальных гравюр. В Юникоде бесконечность обозначена символом ∞.Символы бесконечности, используемые для кардинальных чисел — \aleph_0, \aleph_1, \dots   — основаны на первой букве еврейского алфавита алеф с нижним индексом. Иерархия алефов. Систему алефов ввёл Кантор в 1893 году, считая, что все греческие и латинские символы уже заняты, а еврейский алеф ещё и является символом числа 1; при этом еврейский алфавит был доступен в наборах во многих типографиях Германии того времени.