аксиома выбора

  • 91ЦЕРМЕЛО ТЕОРЕМА — всякое множество можно вполне упорядочить (см. Вполне упорядоченное множество). Впервые эту теорему доказал Э. Цермело (Е. Zermelo, 1904), исходя из принципа выбора одной из эквивалентных форм аксиомы выбора (см. Цермело аксиома). Позднее… …

    Математическая энциклопедия

  • 92Принцип ненападения — Часть либертарианской философии Либертарианство Проис …

    Википедия

  • 93ГЕОМЕТРИИ ОБЗОР — Геометрия раздел математики, тесно связанный с понятием пространства; в зависимости от форм описания этого понятия возникают различные виды геометрии. Предполагается, что читатель, приступая к чтению этой статьи, обладает некоторыми… …

    Энциклопедия Кольера

  • 94ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… …

    Философская энциклопедия

  • 95Гомология (топология) — У этого термина существуют и другие значения, см. Гомология. Гомологии  одно из основных понятий алгебраической топологии. Даёт возможность строить алгебраический объект (группу или кольцо) который является топологическим инвариантом… …

    Википедия

  • 96СУСЛИНА ГИПОТЕЗА — гипотеза, утверждающая, что всякое линейно упорядоченное множество без первого и последнего элементов, являющееся полным, плотным и удовлетворяющее условию Суслина, изоморфно действительной прямой. При этом полнота означает существование точной… …

    Математическая энциклопедия

  • 97логицизм —         ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… …

    Энциклопедия эпистемологии и философии науки

  • 98Пара (математика) — У этого термина существуют и другие значения, см. Пара. Пара в математике может быть определена с различных точек зрения. Содержание 1 Определение пары в формальной математике 1.1 Акс …

    Википедия

  • 99Упорядоченная пара — Пара в математике может быть определена с различных точек зрения. Содержание 1 Определение пары в формальной математике 1.1 Аксиома пары …

    Википедия

  • 100Цермело, Эрнст — Эрнст Фридрих Фердинанд Цермело Ernst Friedrich Ferdinand Zermelo Дата рождения …

    Википедия