- Файл
- История файлов
- Использование файла
- Глобальное использование файлов
Размер этого PNG-превью для исходного SVG-файла: 30 × 22 пикселей . Другие разрешения: 320 × 235 пикселей | 640 × 469 пикселей | 800 × 587 пикселей | 1024 × 751 пикселей | 1280 × 939 пикселей | 2560 × 1877 пикселей .
Исходный файл (SVG - файл, номинально 30 × 22 пикселей, размер файла: 7 КБ)
История файлов
Щелкните дату / время, чтобы просмотреть файл в том виде, в котором он выглядел в то время.
Дата / время | Эскиз | Габаритные размеры | Пользователь | Комментарий | |
---|---|---|---|---|---|
Текущий | 00:31, 25 июнь 2007 | 30 × 22 (7 КБ) | Stannered | {{Информация | Описание = два-к-алеф-нулю. Для шаблона mathlogic-stub. Происходит из PNG-рендеринга LaTeX; ( ). | Source = en: Изображение: CardContin.png | Date = 2007-06-25 | A |
Использование файла
Этот файл используется более чем на 100 страницах. В следующем списке показаны первые 100 страниц, которые используют только этот файл. Полный список доступен.
- AD +
- Абстрактная структура
- Адекватный класс
- Допустимый порядковый номер
- Допустимый набор
- Алгебраическая семантика (математическая логика)
- Почти
- Линия Ароншайн
- Аксиома проективной детерминированности
- Аксиома реальной определенности
- Порядковый номер Бахмана – Ховарда
- Класс Бернейса – Шенфинкеля
- Кабал (теория множеств)
- Аксиома Кантора – Дедекинда
- Теория категориальных множеств
- Классическая математика
- Коаналитический набор
- Подсчетность
- Код (теория множеств)
- Связное пространство
- Полная теория
- Вычислимый изоморфизм
- Теория вычислимой меры
- Вычислимый порядковый
- Непрерывная функция (теория множеств)
- Функция континуума
- Набор Conull
- Земляк линия
- Критическая точка (теория множеств)
- Циклическое отрицание
- Дедуктивное закрытие
- Диагональное пересечение
- Иерархия различий
- Эффективная дескриптивная теория множеств
- Эпсилон-индукция
- Кардинал Эрдёша
- Расширяемый кардинал
- Расширение (логика предиката)
- Расширение новыми именами констант и функций
- Конечный символ
- Редукция первого порядка
- Общий фильтр
- Интерпретация Herbrand
- Наследственно счетное множество
- Арифметика Гейтинга
- Высокая (вычислимость)
- Однородный (большое кардинальное свойство)
- Однородное дерево
- Однородно суслинский набор
- Честная крайняя левая ветка
- Индуктивный набор
- Невыразимый кардинал
- Кардинал Йонссона
- Теорема Куратовского о свободном множестве
- Курепа дерево
- Уравнение языка
- Аналитическая игра Lightface
- Ограничение размера
- Теорема Линдстрема
- Логика для вычислимых функций
- Логическая машина
- Низкая (вычислимость)
- Теорема о низком базисе
- Существенное отсутствие импликации
- Максимальный набор
- Майкл Д. Морли
- Красивое имя
- Открытая формула
- Перекрытие (переписывание терминов)
- Паранепротиворечивая математика
- Принцип распределенности
- Проекция (теория множеств)
- Кардинал Рэмси
- Уменьшенный продукт
- Замечательный кардинал
- Совместная теорема Робинсона
- Кардинал Rowbottom
- Кардинал Шела
- Квадратный принцип
- Сильный кардинал
- Сильный кардинал раздела
- Сильно компактный кардинал
- Малолитражный кардинал
- Тонкий кардинал
- Функция преемника
- Функция Судана
- Исчисление суперпозиции
- Сверхсильный кардинал
- Суслин кардинал
- Представительство Суслина
- Суслин дерево
- Гипотеза Такеути
- Алгоритм Тарского – Куратовского
- Тав (число)
- Теория трехядольного дизайна системы
- Сокращение таблицы истинности
- Теорема UTM
- Раскладной кардинал
- Принцип вопенки
- Нулевой кинжал
Посмотреть дополнительные ссылки на этот файл.
Глобальное использование файлов
Следующие другие вики используют этот файл:
- Использование на cv.wikipedia.org
- Гёделĕн туллилĕх теореми
- Шаблон: Mathlogic-stub
- Использование на el.wikipedia.org
- Ημι-υπολογίσιμη συνάρτηση
- Использование на ja.wikipedia.org
- 可 算 集合
- 反 例
- 背 理法
- ア ッ カ ー マ ン 関 数
- 対 称 差
- 逆
- 推論
- フ ァ ジ ィ 集合
- 補 題
- 任意
- 恒 真 式
- 形式 論 理学
- 予 想
- オ イ ラ ー 図
- 型 理論
- 二 重 否定 の 除去
- ア リ テ ィ
- カ ッ ト 除去 定理
- 裏 (論 理学)
- 有限 モ デ ル 理論
- ク レ イ グ の 補 間 定理
- 議論 領域
- 量子 論理
- フ レ ー ゲ の 定理
- プ リ ン キ ピ ア ・ マ テ マ テ ィ カ
- 空 関 数
- ハ イ テ ィ ン グ 代数
- 強制 法
- 新 基礎 集合論
- 整 礎 的 集合
- 整 礎 関係
- チ ャ ー チ ・ ロ ッ サ ー の 定理
- ク レ パ 木
- 対 角線 共通 部分
- 決定性 公理
- 定 数 関 数
- 比例 記号
- デ ィ ッ ク 言語
- ハ ル ト ー ク ス 数
- 直 積 順序
- 空集合 の 公理
- フ ァ イ バ ー (数学)
- Шаблон: Settheory-stub
- 許 容 順序 数
- 低 基底 定理
- 中間 論理
- Шаблон: Mathlogic-stub
Посмотреть более глобальное использование этого файла.