Причины могут быть бесконечны

Частые простуды – признак сниженного иммунитета

Частые простудные заболевания кого угодно могут выбить из колеи. Если человек постоянно болеет, его жизнь превращается в сплошные таблетки, капли и горчичники, а бесконечные больничные листы не прибавляют ему ни любви начальства, ни, само собой, каких-либо надежд на карьерный рост. Какова же может быть причина частых простуд и как с ней можно бороться?

Часто болеющими считаются люди, переносящие 6 и более простудных заболеваний в год, а причина простудных заболеваний почти всегда — в вирусной инфекции. Особенно досаждают вирусы малышам, в настоящее время таких детей педиатры вносят в особую группу «ЧБД» (часто болеющие дети) и ведут за ними особое наблюдение. Как правило, по мере роста и взросления дети болеют все реже, во взрослом же возрасте здоровый человек в идеале не должен болеть чаще двух раз в год, причем причины этих болезней должны лежать в плоскости сезонных эпидемий гриппа и ОРВИ.

Увы, к сожалению, мало кто из нас сегодня может похвастать столь крепким здоровьем — по статистике среднестатистический россиянин переносит 3-4 простудных заболевания в год, а жители больших городов, в частности москвичи, болеют еще чаще. И прежде всего это связано с ослаблением иммунитета, которому способствует целый ряд факторов.

Что такое иммунитет

Упрощенно говоря, это линия обороны нашего организма, а именно комплексная его реакция, направленная на защиту от внедрения агрессивных чужеродных агентов: вирусов, бактерий с их токсинами, паразитов, донорских тканей, а также собственных клеток, трансформировавшихся вследствие каких-то патологических процессов (например, онкологических) и т.д.

Любое вторжение чужеродного материала (его мы называем антигеном) немедленно вызывает т.н. клеточный иммунный ответ, выражающийся в выработке специальных клеток-фагоцитов, которые захватывают и нейтрализуют антиген. Но это не единственная линия обороны. Еще существует и иммунитет гуморальный, в соответствии с которым антиген обезвреживается специальными химически активными молекулами — антителами. Такими антителами служат специальные сывороточные белки крови, которые называются иммуноглобулинами.

Третья стратегия защиты организма состоит в так называемом неспецифическом иммунитете. Это барьер, образуемый нашей кожей и слизистыми оболочками, а также наличие специальных, разрушающих микроорганизмы, ферментов в жидкостных средах организма. Если же вирус проник в клетку, это не значит, что он победил — у человека с сильным иммунитетом в ответ на это вырабатывается специальный клеточный белок интерферон, что как раз сопровождается высокой температурой.

Как видите, природой предусмотрено множество возможностей, чтобы защититься от агрессии вирусов и бактерий. Но мы не случайно упомянули, что наш современник, и особенно житель мегаполиса, как правило, не может похвастать сильным иммунитетом. И на это есть свои причины.

Отчего иммунитет снижается

Самая глобальная причина снижения иммунитета — этот наш пресловутый неправильный образ жизни.

  • Питание с преобладанием жирных рафинированных продуктов, простых углеводов, канцерогенов (копчености и жареные блюда). Сюда же относим переедание.
  • Недостаток физических нагрузок. Наше тело рассчитано на значительную двигательную активность — все его системы и механизмы правильно работают только при соблюдении этого условия! Что же делаем мы? Преимущественно лежим и сидим.
  • Загрязнение окружающей среды. Воздух с вредными примесями (а особенно смог как, например, был в Москве минувшим летом), хлорированная вода, обилие бытовых химикатов, нитраты и прочие добавки в продуктах ежедневно «бомбардируют» нас, выступая агрессивными захватчиками. Электромагнитные излучения, повышенный уровень шума относим сюда же.
  • Постоянный стресс, волнения, связанные с необходимостью не потерять свой заработок, обеспечить своей семье достойное существование, а также хроническая усталость и недосыпание как следствие перегруженного рабочего дня и обязанностей по дому.
  • Вредные привычки, а именно, курение и алкоголь.
  • Многие ученые склоняются сегодня к мнению, что на иммунитет негативно влияет стерильность нашей жизни. Все, начиная от кипяченых сосок и бутылочек для малыша и заканчивая антибактериальным мылом для рук и антибиотиками при самом слабом кашле, не дает иммунитету пройти «тренировку» в борьбе против какого-то минимума патогенных микробов, благодаря которой он только укрепляется (по аналогии с воздействием прививки).
  • Иммунитет расслабляется и вследствие рафинированности жизни современника. Теплая одежда, жаркий обогрев жилища, ни малейшего сквознячка — все это приводит лишь к одному. Свежий ветерок и дождик, а вы как раз оказались не в своей теплой уютной машине, а как назло, на улице, и — простуда обеспечена.
  • Причиной могут быть и паразитарные заболевания. Например, глистная инвазия, лямблиоз.
  • И, наконец, иммунитет тесно и взаимообразно связан с состоянием микрофлоры кишечного тракта. Недостаток бифидо- и лактобактерий неизбежно влечет за собой снижение иммунитета и как следствие частые ОРВИ и аллергические заболевания.

Признаки снижения иммунитета

  • Конечно же, частые простуды
  • Обострение хронических заболеваний
  • Повышенная утомляемость, сонливость и слабость
  • Нервозность, агрессивность, раздражительность
  • Нарушения работы ЖКТ: метеоризм, запоры, слабый стул
  • Неудовлетворительное состояние кожи: сухость, шелушение, прыщи, воспаления и пр.

Один из этих признаков или все они вместе должны заставить вас принять превентивные меры и помочь своему иммунитету. Есть многочисленные методы и способы поднять иммунную защиту своего организма. И все они делятся на физиологические и фармакологические.

Физиологические методы поднятия иммунитета.

  • Питание должно в обязательном порядке содержать животные и растительные белки (без них клетки иммунной системы работают плохо), и весь спектр витаминов и минералов, особенно витамины С, А, Е и витамины группы В.

Белки содержаться в мясе, рыбе, яйцах, бобовых, орехах. Витамины группы В также в мясе и печени, сырых желтках, молочных продуктах, хлебе грубого помола и отрубях, семечках и орехах. В пророщенных зернах пшеницы, растительном масле и авокадо — много витамина Е. Витамин А содержится в любых ярко окрашенных овощах и фруктах: моркови, помидорах, абрикосах, тыкве, паприке, также много его в сливочном масле, яйцах, печени.

Витамин С содержится в цитрусовых, киви, квашеной капусте, клюкве, шиповнике. Достаточное количество этих витаминов — залог хорошего состояния клеток иммунной системы.

Не менее важно регулярно пить кисломолочные напитки для поддержания микрофлоры кишечника.

  • Режим дня и физическая активность. Организмунужен сон не менее 8 часов в сутки, вменяемый рабочий график без переработок за полночь, обязательны занятия спортом (особенно хороши зимние виды и плавание), длительные прогулки в любую погоду. Квартиру надо часто проветривать, а спать — при открытой форточке.
  • Закаливание. Методик закаливания очень много. Это и прохладные ножные ванны, и обливания прохладной водой, и хождение босиком по траве. Самое главное — начинать в теплое время года, чтобы к зимним холодам можно было отказаться от вашего любимого шерстяного шарфа, в котором так жарко, но без него вы боитесь «простудиться».
Читайте также:  Причины повышения лейкоцитов в анализе мочи

Фармакологические методы поднятия иммунитета

  • Профилактический прием 2-3 раза в год природных адаптогенов: элеутерококка, золотого корня, женьшеня, эхинацеи, алоэ. Согласно дозировке, обозначенной на упаковке, принимайте эти настойки утром и вечером. Вечером же заваривайте мелиссу или пустырник, чтобы снизить влияние стресса на ваш иммунитет.
  • Профилактически, а особенно в период массовых сезонных эпидемий можно принимать гомеопатические средства для повышения иммунитета, коих сейчас в аптеках достаточно.
  • 2-3 раза в год пропивать курс (4-6 недель) пробиотиков ( линекс, бифидумбактерин и пр.)
  • Вопрос о применении серьезных имунномодуляторов, таких как бронхомунал, рибомунил и т.п. обязательно решайте только с врачом-иммунологом!

Источник

Чувство тревоги и беспокойства без причины

Тревога — это отрицательно окрашенное настроение с чувством беспокойства, напряжения и страха. В умеренных количествах такие эмоции полезны: помогают мобилизовать силы и найти выход из экстремальных ситуаций. Но для беспокойства должны быть основания и в норме оно длится ограниченный период времени.

Если человек постоянно испытывает чувство тревоги и беспокойства без причины, это может говорить о наличии расстройства психики. При отсутствии помощи постоянное напряжение изнашивает нервную систему и организм в целом, что приводит к срыву механизмов адаптации и развитию хронических заболеваний.

Если вы замечаете, что продолжительное время не можете расслабиться, то стоит задуматься о визите к специалисту.

В патологических случаях состояние тревоги и беспокойства без причины проявляются как психическими, так и физическими признаками.

Психические симптомы:

  • постоянное чувство страха и волнение без причины,
  • плохая концентрация и внимание,
  • нарушения сна,
  • эмоциональная лабильность, раздражительность, плаксивость,
  • неспособность расслабиться и полноценно включиться в повседневные дела или общение,
  • потребность в заверении других людей о том, что все в порядке. При этом облегчения слова поддержки не приносят.

Физические симптомы:

  • учащенное дыхание и сердцебиение,
  • головные боли, боли в животе и в области сердца,
  • повышенная потливость,
  • нарушения пищевого поведения: усиленный аппетит или его потеря,
  • слабость,
  • дрожь, озноб,
  • нарушения стула: учащенные позывы, запоры,
  • ощущение нехватки воздуха,
  • тошнота,
  • мышечные спазмы и боли.

Беспричинная тревога и беспокойство время от времени усиливаются или сглаживаются. Обострения часто сопровождают стресс: конфликты, важные мероприятия, болезни. В норме человек быстро оправляется после разрешения ситуации, но при расстройстве негативные эмоции не проходят.

Интенсивность тревоги варьируется от легкой до тяжелой. Крайняя степень — это паника. Если долго игнорировать тревожное состояние без причины, то к нему могут присоединиться панические атаки. Они настигают неожиданно и порой без достаточно веской причины, но после этого эпизода человек начинает избегать ситуаций, похожих на ту, в которой это произошло: общественный транспорт, лифт или просто скопление людей. Это сильно снижает качество жизни и может привести к социальной отгороженности.

Причины беспричинной тревоги и беспокойства

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

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

  • Генерализованное тревожное расстройство: постоянная нервозность и беспокойство из-за мелочей, которые обычно видны окружающим и длятся 6 и более месяцев. Начинается в подростковом периоде и усиливается с возрастом.
  • Обсессивно-компульсивное расстройство: навязчивые мысли и опасения, которые сопровождаются навязчивыми действиями, не приносящими облегчения. Выделяют невроз навязчивых состояний — человека неукротимо преследуют воспоминания, которые воспроизводят травмирующую ситуацию.
  • Фобии: иррациональный страх перед любыми, даже обыденными, вещами. Сопровождается бесконтрольной паникой и физическими проявлениями.
  • Паническая атака — мучительный и внезапный приступ паники, который сопровождается страхом смерти и яркой соматической симптоматикой. Регулярное возникновение панических атак означает развитие панического расстройства.
  • Посттравматическое стрессовое расстройство: возникает после сильной психотравмирующей ситуации и сопровождается высоким уровнем тревожности, избеганием и флэшбеками.

Это самые распространенные примеры, но патологическое беспокойство может быть симптомом других расстройств или следствием неудачной борьбы со стрессом. Если вы хотите понять, почему возникает чувство тревоги без причины, следует обратиться к врачу. Без выяснения основного фактора и работы над ним невозможно восстановления здоровья и душевного равновесия.

Что делать при беспричинной тревоге и беспокойстве

Трудно жить в постоянном стрессе. Если вы испытываете беспричинную тревогу и страх что делать вам подскажет следующий список:

  1. Поговорите с тем, кому вы доверяете. Это может быть родственник, близкий друг, психотерапевт или сотрудник телефона доверия. Люди — это социальные существа, поэтому общение хорошо помогает снять внутреннее напряжение.
  2. Найдите способ быстро успокаиваться. Не всегда рядом есть человек, с которым можно поделиться. Поэтому важно найти подходящий метод, который поможет расслабиться: дыхательные техники, успокаивающая музыка, ароматерапия, самомассаж и другое. Если вы не можете самостоятельно подобрать прием, который быстро помогает при тревоге без причины что делать вам подскажет специалист.
  3. Добавьте в жизнь физическую активность. Это естественное и эффективное средство против беспокойства. Умеренный спорт снимает напряжение, снижает уровень гормонов стресса и укрепляет нервную систему. Уделяйте физическим упражнениям по крайней мере 30 минут в день.
  4. Нормализация образа жизни. Высыпайтесь, полноценно питайтесь, откажитесь от вредных привычек. Это стабилизирует физические показатели и уровень нейромедиаторов, что помогает сохранять эмоциональное равновесие.
  5. Начните вести дневник. Заметки помогают определить закономерности обострений тревоги, понять причины и заметить ранние признаки их возникновения. Также благодаря этому вы станете больше акцентировать внимание на положительных событиях, которые раньше могли не замечать.

При волнении без причины что делать хочет знать каждый, кто регулярно с этим сталкивается. Не существует универсального метода, однако 5 шагов, которые перечислены выше, рекомендуется соблюдать каждому человеку с повышенной тревожностью. Этого может быть достаточно для сглаживания симптомов. Но если приемы самопомощи не дают желаемого эффекта, то при регулярно возникающем чувстве беспокойства без причины что делать нужно узнавать у специалиста.

Лечение беспричинного чувства тревоги и беспокойства

Вне зависимости от причины возникновения патологической тревожности, профессиональная помощь — единственный полноценный метод устранения проблемы. Если у вас постоянное волнение и тревога без причины как избавиться от этого состояния быстро и эффективно вы узнаете у врача-психиатра или психотерапевта.

Читайте также:  Соли кальция в моче причины

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

При состоянии тревоги и беспокойства без причины лечение включает в себя следующие подходы:

  1. Психотерапия. Самое перспективное направление, которое не просто устраняет симптом, но выявляет причину и борется с ней. Терапия учит при чувстве тревоги без причины как избавляться от острых приступов беспокойства, расслабляться, иначе смотреть на жизненные ситуации. Врач поможет раскрыть основные причины ваших страхов и проработать их. Пациент получает инструменты для преодоления тревоги и успешно их использует. Обычно применяется когнитивно-поведенческая терапия: в ходе лечения пациент сталкивается с объектом беспокойства и постепенно приобретает уверенность в том, что может управлять ситуацией.
  2. Медикаментозная терапия. В зависимости от типа тревожного состояния и наличия сопутствующих проблем с психическим или физическим здоровьем могут назначаться антидепрессанты, успокоительные, снотворные и другие препараты. При чувстве тревоги без причины лечение лекарственными средствами позволит сгладить симптомы и улучшить качество жизни пациента во время его психотерапевтической работы над основной причиной. Бесконтрольный прием медикаментов приводит к опасным побочным эффектам и синдрому отмены, поэтому применять их можно только согласно индивидуальному курсу, который назначил врач.

Рекомендуется использовать комбинацию психотерапевтического и медикаментозного лечения, но иногда достаточно только первого.

Не следует откладывать посещение врача, если вы чувствуете, что переживания мешают вам жить. Со временем симптомы усугубляются и присоединяются другие тяжелые психические заболевания: депрессии, невротические расстройства и другое. Если нормализация образа жизни не помогает, значит, от беспричинного беспокойство как избавиться вы поймете только у психотерапевта. При своевременном обращении к грамотному специалисту для выздоровления может быть достаточно всего нескольких сеансов психотерапии.

Благодаря современным психотерапевтическим подходам сотни людей ежедневно делают большие успехи в борьбе с тревожными расстройствами. Не нужно терпеть мучительное бремя страха и тревоги, ведь своевременная помощь позволяет добиться отличных результатов: пациент полностью поправится и вернется к полноценной жизни, а улучшение будет ощутимо уже после первого сеанса.

Источник

Виды бесконечностей и вынос мозга

Эта статья — продолжение статьи про громадные числа. Но сейчас мы пойдем еще дальше — в бесконечности бесконечностей.

Для этого нам понадобится ZFC — теория множеств Zermelo, Frenkel + Choice. Choice — это аксиома выбора, самая спорная аксиома теории множеств. Она заслуживает отдельной статьи. Предполагается, что вы знаете, что такое «мощность» множества. Если нет, то погуглите, наверняка это изложено лучше, чем смогу я. Здесь я лишь напомню некоторые

Известные факты

  • Мощность множества целых чисел обозначается . Это первая бесконечная мощность, такие множества называются счетными.
  • Мощность любого бесконечного подмножества целых чисел — простые, четные итд. — тоже счетна.
  • Множество рациональных чисел, то есть дробей p/q тоже счетно, их можно пройти змейкой.
  • Для любой мощности есть операция powerset — множество всех подмножеств, которая создает мощность бОльшую, чем исходная. Иногда эта операция обозначается как возведение двойки в степень, то есть . powerset от счетной мощности есть мощность континуума.
  • Мощностью континуума обладают: конечные и бесконечные отрезки, плоские и объемные фигуры, и даже n-мерные пространства целиком
  • Для обычной математики следующая мощность, практически не нужна, обычно вся работа происходит со счетными множествами и множествами мощности континуума

Теперь

Малоизвестные факты

В ZFC не все собрания элементов могут быть множествами. Бывают коллекции столь широкие, что позволить им быть множествами нельзя, возникают парадоксы. В частности, «множество всех множеств» не есть множество. Впрочем, есть теории множеств, где такие множества разрешены.

Дальше. Теория множеств… Каких объектов? Чисел? Яблок? Апельсинов? Как ни странно, ZFС не нуждается ни в каких объектах. Возьмем пустое множество {} и договоримся, что оно означает 0. 1 обозначим с помощью {{}}, двойку как {{{}}} итд. {5,2} есть {{{{{{{}}}}}}, {{{}}}}. С помощью целых чисел мы можем создать вещественные, а коллекции вещественных создают любые фигуры.

Таким образом, теория множеств это… как бы сказать… пустотелая теория. Это теория ни о чем. Точнее, о том как можно нестить (nest, то есть вкладывать друг в друга) фигурные скобки.

Единственная операция, которая определена в теории множеств, это — символ принадлежности. А как же объединение, исключение, равенство итд.? Все это макросы, например:

То есть, в переводе на русский язык, два множества считаются одинаковыми, когда при тестировании любого элемента на принадлежность к им мы будем получать одинаковые результаты

Множества не упорядочены, но это можно исправить: пусть упорядоченная пара (p,v) это {{p}, {p, v}}. Неэлегантно с точки зрения программиста, но достаточно для математика. Теперь множество всех пар param-value задает функцию, которая теперь тоже множество! Et voila! весь математический анализ, который работает на уровне языков второго порядка, так как говорит не о существовании чисел, а существовании функций — коллапсирует в язык 1 порядка!

Таким образом, теория множеств — это убогая теория без объектов и с одним значком отношения, которая обладает совершенно чудовищной силой — без каких то новых допущений она порождает из себя формальную арифметику, вещественные числа, анализ, геометрию и многое другое. Это своеобразное TOE математики.

Гипотеза континуума — CH

Существует ли мощность между и ? Это проблему не мог решить Кантор, «король математиков» Гильберт высоко оценивал ее важность, но лишь позже было доказано что эту гипотезу нельзя ни доказать, ни опровергнуть. Она независима от ZFC.

Это означает, что вы можете создать две разных математики: одну с ZFC+CH, другая ZFC+(not CH). На самом деле даже больше, чем две. Допустим, мы отвергнем CH, то есть будем верить, что между и есть еще мощности. Сколько их может быть? Одна, две? Гедель верил, что только одна. Но, как оказалось, предположение о том, что их 2, 17, 19393493 не приводит к противоречиям. Любое число, но не бесконечное!

Когда в формальной арифметике мы сталкиваемся с недоказуемым утверждением, то в силу определенных причин мы знаем, что, тем не менее, это утверждение, хоть и не доказуемо, но на самом деле либо истинно, либо ложно. В теории множеств это не работает, мы реально получаем разные математики. Как к этому относиться? Есть три философских подхода:

Читайте также:  Могут ли постоянные стрессы быть причиной бесплодия

Формализм: а чему, собственно, удивляться? Мы задаем правила игры в символы, разные правила — разный результат. Не надо искать проблему там, где ее нет

Платонизм: Но как тогда объяснить, что совершенно разные теории, например ZFC и New Foundations, построенные по совершенно разным принципам, дают почти всегда один и тот же результат? Не говорит ли это о том, что за формулами стоит какая то реальность, которую мы изучаем? Такой точки зрения придерживался, например, Гедель

Multiverse: У нас может быть много аксиоматик, иногда дающих одинаковый результат, иногда нет. Мы должны воспринимать картину в целом — если с разными системами аксиом ассоциировать цвет, то цветное дерево следствий и есть математика. Если что-то верное везде — это белый цвет, но есть и цветные ветви.

Все выше и выше.

В дальнейшем мы, для простоты, примем гипотезу континуума, то есть — это очень удобно. На самом деле мы примем и более сильную аксиому, обобщенную гипотезу континуума, что между x и powerset(x) никогда нет промежуточных мощностей. Теперь мы итерируем powerset и все просто:

Как далеко мы можем продвинуться? После бесконечного количества итераций мы дойдем до — бесконечная по порядку мощность! Кстати, ее существование было неочевидно Кантору. Но секунду! Ведь функция powerset всегда определена, поэтому не может быть последней!

Чтобы получить надо повторить powerset бесконечность и еще три раза. У вас уже начало сносить крышу? То ли еще будет. Потому что снова проитерировав powerset бесконечное число раз, мы дойдем до , после чего, естественно, идет

Дойдя до бесконечности бесконечное число раз, мы получим индекс . Как вам такая мощность, например: ? Пока мы итерировали powerset по списку ординалов, вот начальные ординалы:

но их значительно, значительно больше. Так что мы сразу все это пропустим и сделаем

Сразу большой шаг

Внимание! То что написано дальше, может быть опасно для вашего мозга! Мы итерировали powerset счетное число раз, а не замахнуться ли нам на континуум? Честно, меня самого немного колбасит от того, что цикл может выполняться континуум раз, но теория множеств требует существования

Далее мы пойдем быстрее:

У последнего алефа индекс ноль, но местный latex не дает его поставить — слишком много уровней. Но главное вы поняли, какую бы новую чудовищную мощность мы бы не создали, мы можем сказать — ага, это всего лишь повторитель, и поставить всю эту конструкцию к новому алефу в виде индекса. Теперь мощности растут как снежный ком, нас не остановить, пирамида алефов все выше, и мы можем создать любую мощность… Или нет?

Недостижимые мощности

Что если есть мощность настолько большая, , что как бы мы ее ни пытались достичь «снизу», выстраивая конструкции из алефов, мы ее не достигнем? Оказывается, существование такой мощности независимо от ZFC. Вы можете принять ее существование или нет.

Я слышу шепот «бритва Оккама»… Нет, нет. Математики придерживаются противоположного принципа, который называется онтологический максимализм — пусть существует все, что возможно. Но существуют еще как минимум две причины, почему эту гипотезу хочется принять.

  • Во первых, это не первая недостижимая мощность, которую мы знаем. Первая… это всем знакомая счетная мощность. Как ни странно, она обладает всеми свойствами недостижимой — просто ее не принято так называть:
  • Бесконечную мощность никак не получить «снизу» — ни добавляя элементы конечное количество раз, ни итерируя powerset() конечное число раз, используя конечные множества для затравки, бесконечности вы не получите. Чтобы получить бесконечность, вы где-то должны уже иметь ее.
  • Существование бесконечной мощности вводится специальной аксиомой — аксиомой бесконечности. Без нее существование бесконечной мощности недоказуемо.

Второе: если отвергнуть аксиому бесконечности, то мы получим FinSet, простую игрушечную теорию множеств с конечными множествами. Давайте выпишем все эти множества (так называемая модель теории)

{}

{{}}

{{{}},{}}

{{{{}}}}

{{{{}}},{{}}}

{{{{}}},{{}}}

{{{{}}},{{}},{}}

И получим… бесконечное множество конечных множеств… То есть, модель теории конечных множеств бесконечна, и играет в ней роль «множества всех множеств». Может быть, это поможет понять, почему теория не может говорить о «множестве всех множеств» — такое множество всегда существует как модель вне теории и обладает другими свойствами, чем множества внутри. Вы не можете добавить в теорию конечных множеств бесконечное.

И да, это «множество всех множеств» теории ZFC. В этом видео в конце очень красиво сказано про недостижимую мощность, но нам пора дальше.

Еще дальше.

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

Заметьте, что теперь стрелка у нас имеет смысл не как выполнение функции Powerset(), а GetNextInaccessible(). В остальном все выглядит очень похоже, мы имеем:

Теперь то мы точно достигнем чего угодно… Или нет?

Иерархия больших мощностей.

Да, с помощью GetNextInaccessible мы упремся уже в гипер-недостижимую мощность. Существование ее требует принять еще одну аксиому. Есть и гипер-гипер-недостижимые мощности. И так далее. Но есть и другие способы определять мощности, не только через недостижимость:

За каждой ссылкой стоит, как правило, целая бесконечная иерархия с произвольным количеством приставок hyper- и повторителей. Однако, общее количество формул, определяющие недостижимые кардиналы, не такое уж большое — ведь количество формул счетно!!! Поэтому рано или поздно они кончатся. Там, где они кончаются, проведена красная черта. Все, что ниже этой черты, определяется более зыбко, хотя и формально.

Сама красная черта обозначает конец вселенной Геделя (но не забываем, что Гедель создал ДВЕ разные вселенные) — вселенная множеств, конструируемых «снизу» с помощью формул. Мощности выше красной черты называются хм, «малыми», а ниже — большими:

Главная идея в них в том, что вселенная множеств становится столь большой, что начинает повторять себя в разных смыслах. Каждая строчка, как всегда, требует отдельной аксиомы, и нескольких. И что еще интереснее, все это не настолько бесполезно, как вы могли подумать. Например, самая сильная аксиома (rank-into-rank), в самой нижней строчке, нужна, чтобы доказать факт о табличках.

Ниже опрос, последний вариант выбора расшифрован тут.

Только зарегистрированные пользователи могут участвовать в опросе. Войдите, пожалуйста.

Источник