3 Лосев А.Ф. Имяславие, изложенное в системе // Начала. 1995. № 1 – 4. С. 248. Текст тезисов не датирован, он относится, судя по содержанию и некоторым внешним приметам рукописи (например, по характеру почерка, после «лагерного» периода жизни автора существенно изменившегося), к началу 1920-х годов.
4 Кантор Г. К обоснованию учения о трансфинитных множествах // Кантор Г. Труды по теории множеств. М., 1985. С. 173. Перевод Ф.А. Медведева. Далее все ссылки на Кантора относятся к указанному сборнику трудов.
5 Флоренский П.А. О символах бесконечности (Очерк идей Г. Кантора) // Новый путь. 1904. № 9. С. 195.
6 Кантор Г. Письмо к Дедекинду от 6 ноября 1888 года. С. 363. О так называемых «неконсистентных множественностях» см. также с. 368 – 369.
7 Лосев А.Ф. Античный космос и современная наука. М., 1927. С. 112 – 113. Важный материал, связанный с теорией множеств, содержит авторское примечание 79.
8 Там же. С. 117.
9 Лосев А.Ф. Имяславие // Вопросы философии. 1993. № 9. С. 59.
10 Кантор Г. К учению о трансфинитном. С. 270; Основы общего учения о многообразиях. С. 101.
11 Кантор Г. К учению о трансфинитном. С. 271 – 272. Конечно, по вопросу признания актуальной бесконечности Кантора никак нельзя считать аристотелианцем; см.: Основы общего учения о многообразиях. С. 72 – 74.
12 Лосев А.Ф. Имяславие. С. 59.
13 Там же. С. 60.
14 Флоренский П.А. О символах бесконечности. С. 196.
15 В «Прослогионе» Ансельма не только вводится феноменологически непоколебимое «то, более чего нельзя ничего помыслить», но и обнаруживается следующий вполне «имяславский» ход мысли, весьма замечательный: «Вещь может быть помыслена двояким способом: 1. когда бывает помыслено обозначающее ее речение; 2. когда бывает помыслена сама вещь. Первым способом небытие Божие может быть помыслено, вторым – не может» (Памятники средневековой латинской литературы X – XII веков. М., 1972. С. 252).
16 Проводимое у нас различение не слишком очевидно и известно; среди немногих исследований на сей счет можно указать прежде всего работу: Слупецкий Е., Борковский Л. Элементы математической логики и теории множеств. М., 1965. С. 343.
17 В частности, свой вариант решения «парадоксов» теории множеств Лосев дал в большой работе «Диалектические основы математики» (1930-е гг.).
18 См.: Френкель А., Бар-Хиллел И. Основания теории множеств. М., 1966. С. 229.
19 Кантор Г. Основы общего учения о многообразиях. С. 75.
20 Прямая демонстрация эквивалентности бесконечного множества своей (правильной) части действительно удалась только Кантору. На интуитивном уровне об этом свойстве бесконечностей догадывались, к примеру, еще Г. Галилей и Б. Больцано, а много раньше и, может быть, глубже всех – Прокл. См. комментарии Лосева относительно прокловской категории «причастности» в общем учении о едином и многом: Прокл. Первоосновы теологии. Гимны. М., 1993. С. 224 – 228.
21 К примеру: Кантор Г. К учению о трансфинитном. С. 275.
22 Флоренский П.А. О символах бесконечности. С. 226.
23 Кантор Г. Основы общего учения о многообразиях. С. 79.
24 Все приведенные примеры взяты из работы: Кантор Г. К учению о трансфинитном. С. 298, 307 – 308.
25 Кантор Г. Основы общего учения о многообразиях. С. 66, 91 – 94. Здесь упоминается также третий принцип, принцип «стеснения», который требует своеобразной непрерывности на шкале бесконечностей.
26 Кантор Г. К учению о трансфинитном. С. 288 – 289. Заметим, что только с введением операций с пределами (т.е. с определенным моментом конечности) идея потенциальной бесконечности сыграла действительно важную роль в создании дифференциального и интегрального исчисления.
27 Клини С. Математическая логика. М., 1973. С. 220.
28 Флоренский П.А. О символах бесконечности. С. 109; Кантор Г. К учению о трансфинитном. С. 293.
29 Флоренский П.А. О символах бесконечности. С. 126. См. афоризм 72 из «Опытов» Б. Паскаля.