This tool looks for unlabeled Wikidata items in your language. It starts with a Wikidata item,
looks at all the associated Wikipedia pages, the links on all those pages, and lists the Wikidata items corresponding to the link targets.
Q1128796 - No label in !
Searching link targets on 33 Wikipedias...
Item | Label [] | Wikilabels | Link # |
---|---|---|---|
Q36161 [CC | ] | No label in ! | Množina | 集合 (数学) | Conjunto | Aro (matematiko) | Ensemble | Set (mathematics) | Insieme | Menge (Mathematik) | Set | სიმრავლე | Mængde | مجموعة (رياضيات) | Multzo | Tập hợp (toán học) | Множина | Множество | Insimul | Verzameling (wiskunde) | مجموعه (ریاضیات) | קבוצה (מתמטיקה) | 21 |
Q66707394 [CC | ] | No label in ! | Countable set | 可數集 | Conjunto contável | Kalkulebla aro | Zbiór przeliczalny | Spočítateľná množina | Ensemble dénombrable | Conjunto numerable | Numeroituva joukko | Insieme numerabile | Spočetná množina | Tællelig mængde | مجموعة قابلة للعد | Mulțime numărabilă | Multzo zenbakigarri | Tập hợp đếm được | Aftelbare verzameling | مجموعه شمارا | קבוצה בת מנייה | 20 |
Q729471 [CC | ] | No label in ! | Cantor's diagonal argument | 對角論證法 | Argumento de diagonalização de Cantor | Diagonala argumento de Cantor | Metoda przekątniowa | Cantorova diagonálna metóda | கேண்டரின் கோணல்கோடு நிறுவல்முறை | Cantorin diagonaaliargumentti | Cantors zweites Diagonalargument | Cantorova diagonální metoda | カントールの対角線論法 | Lập luận đường chéo của Cantor | Діагональний метод Кантора | Диагональный аргумент | Diagonaalbewijs van Cantor | استدلال قطری کانتور | Diagonalització de Cantor | האלכסון של קנטור | 19 |
Q4049983 [CC | ] | No label in ! | Kardinalitet | 势 (数学) | Cardinalidade | Povo de aro | Moc zbioru | Mohutnosť (množina) | Cardinality | Mahtavuus | Mächtigkeit (Mathematik) | Mohutnost | 濃度 (数学) | Lực lượng (tập hợp) | Потужність множини | Мощность множества | Kardinaliteit | کاردینالیتی | עוצמה (מתמטיקה) | 18 |
Q205140 [CC | ] | No label in ! | Conjunto infinito | Nekonečná množina | 无限集合 | Ensemble infini | Infinite set | Insieme infinito | مجموعة غير منتهية | Mulțime infinită | Tập hợp vô hạn | Нескінченна множина | Бесконечное множество | Oneindige verzameling | Beskonačan skup | مجموعه نامتناهی | Вĕçсĕр йыш | קבוצה אינסופית | 18 |
Q21199 [CC | ] | No label in ! | 自然数 | Natura nombro | Liczby naturalne | Prirodzené číslo | Entier naturel | Natural number | Luonnollinen luku | Natürliche Zahl | Přirozené číslo | عدد طبيعي | Număr natural | Zenbaki arrunt | Số tự nhiên | Numero natural | Natuurlijk getal | Naturliga tal | מספר טבעי | 18 |
Q208416 [CC | ] | No label in ! | Hypotéza kontinua | 连续统假设 | Hipótese do continuum | Kontinuumo-hipotezo | Hipoteza continuum | Continuum hypothesis | Hipótesis del continuo | Kontinuumihypoteesi | Ipotesi del continuo | Kontinuumshypothese | 連続体仮説 | Континуум-гіпотеза | Континуум-гипотеза | Continuümhypothese | Kontinuumhypotesen | فرضیه پیوستار | השערת הרצף | 18 |
Q205170 [CC | ] | No label in ! | 冪集 | Conjunto de partes | Zbiór potęgowy | Potenčná množina | Power set | Conjunto potencia | Potenssijoukko | Potenzmenge | Potenční množina | Potentzia-multzo | Tập lũy thừa | Булеан | Множество всех подмножеств | Machtsverzameling | مجموعه توانی | Conjunt de les parts | קבוצת החזקה | 17 |
Q12916 [CC | ] | No label in ! | Real number | 实数 | Liczby rzeczywiste | Nombre réel | Número real | மெய்யெண் | Reaaliluku | Reelle Zahl | Reelle tal | 実数 | Zenbaki erreal | Số thực | Reëel getal | Чăн хисеп | מספר ממשי | 16 |
Q76420 [CC | ] | No label in ! | Georg Cantor | 格奥尔格·康托尔 | Georg Ferdinand Cantor | გეორგ კანტორი | ゲオルク・カントール | Георг Кантор | Кантор, Георг | گئورگ کانتور | גאורג קנטור | 16 |
Q180907 [CC | ] | No label in ! | Bijection | 双射 | Função bijectiva | Bijektívne zobrazenie | Bijektio | Corrispondenza biunivoca | Bijekce | Corespondență biunivocă | Song ánh | Бієкція | Биекция | Bijectie | تناظر دوسویه | פונקציה חד-חד-ערכית ועל | 15 |
Q12482 [CC | ] | No label in ! | 集合论 | Teoria dos conjuntos | Teoria mnogości | Teória množín | Set theory | Joukko-oppi | Teoria degli insiemi | Teorie množin | نظرية المجموعات | Teoria mulțimilor | Lý thuyết tập hợp | Теорія множин | Теория множеств | نظریه مجموعهها | תורת הקבוצות | 15 |
Q163875 [CC | ] | No label in ! | Número cardinal | 基数 (数学) | Kardinálne číslo | Nombre cardinal | Cardinal number | Kardinální číslo | 基数 | Zenbaki kardinal | Số đếm | Кардинальне число | Kardinaltal | عدد اصلی | 13 |
Q177646 [CC | ] | No label in ! | Podmnožina | 子集 | Subconjunto | Subaro | Subset | Teilmenge | مجموعة جزئية | Tập hợp con | Підмножина | Подмножество | زیرمجموعه | תת-קבוצה | 13 |
Q173740 [CC | ] | No label in ! | 笛卡儿积 | Produto cartesiano | Kartezia produto | Iloczyn kartezjański | Karteziánsky súčin | Cartesian product | Karteesinen tulo | Kartézský součin | Tích Descartes | Декартів добуток множин | Прямое произведение | ضرب دکارتی | מכפלה קרטזית | 13 |
Q179692 [CC | ] | No label in ! | 选择公理 | Axioma da escolha | Aksiomo de elekto | Axiome du choix | Axiom of choice | Axiom výběru | بديهية الاختيار | 選択公理 | Tiên đề chọn | Аксіома вибору | Аксиома выбора | اصل موضوع انتخاب | אקסיומת הבחירה | 13 |
Q395 [CC | ] | No label in ! | Matematiko | Mathematics | கணிதம் | Matematiikka | Matematica | მათემატიკა | رياضيات | 数学 | Toán học | Mathematica | Wiskunde | ریاضیات | 數學 | 13 |
Q185359 [CC | ] | No label in ! | 并集 | União (matemática) | Kunaĵo | Suma zbiorów | Zjednotenie (matematika) | Union (set theory) | Sjednocení | Phép hợp | Об'єднання множин | Объединение множеств | اجتماع (نظریه مجموعهها) | איחוד (מתמטיקה) | 12 |
Q191780 [CC | ] | No label in ! | 序数 | Número ordinal | Liczby porządkowe | Ordinal number | Número ordinal (teoría de conjuntos) | Ordinální číslo | 順序数 | Порядкове число | Порядковое число | Ordinaltal | عدد ترتیبی | מספר סודר | 12 |
Q474881 [CC | ] | No label in ! | Теорема Кантора | 康托尔定理 | Teorema de Cantor | Twierdzenie Cantora | Cantor's theorem | Cantorin lause | Cantorova věta | კანტორის თეორემა | Định lý đường chéo Cantor | Cantors sats | قضیه کانتور | 12 |
Q272404 [CC | ] | No label in ! | Conjunto finito | Konečná množina | 有限集合 | Zbiór skończony | Finite set | مجموعة منتهية | Tập hợp hữu hạn | Скінченна множина | Конечное множество | مجموعه متناهی | 12 |
Q379825 [CC | ] | No label in ! | 元素 (數學) | Elemento (matemática) | Prvok množiny | Element (mathematics) | Prvek množiny | عنصر (رياضيات) | Phần tử (toán học) | Елемент (математика) | Element (wiskunde) | عنصر (ریاضیات) | איבר (מתמטיקה) | 11 |
Q41390 [CC | ] | No label in ! | Kurt Gödel | 库尔特·哥德尔 | Курт Гедель | Гёдель, Курт | کورت گودل | קורט גדל | 11 |
Q226183 [CC | ] | No label in ! | 空集 | Conjunto vazio | Prázdna množina | Empty set | Prázdná množina | مجموعة خالية | Tập hợp rỗng | Порожня множина | Пустое множество | مجموعه تهی | הקבוצה הריקה | 11 |
Q185837 [CC | ] | No label in ! | 交集 | Interseção | Prienik (matematika) | Intersection (set theory) | Průnik | Phép giao | Перетин множин | Пересечение множеств | اشتراک (نظریه مجموعهها) | חיתוך (מתמטיקה) | 10 |
Q216809 [CC | ] | No label in ! | Paul Cohen | 保罗·寇恩 | Paul Cohen (matemático) | Paul Cohen (matematik) | Пол Джозеф Коен | Коэн, Пол Джозеф | پل کوهن (ریاضیدان) | פול כהן | 10 |
Q1147242 [CC | ] | No label in ! | 对称差 | Diferença simétrica | Symetrická diferencia | Symmetric difference | Symetrická diference | Hiệu đối xứng | Симетрична різниця множин | Симметрическая разность | تفاضل متقارن | הפרש סימטרי | 10 |
Q190763 [CC | ] | No label in ! | 文氏图 | Diagrama de Venn | Vennov diagram | Venn diagram | Vennův diagram | مخطط فن | Sơ đồ Venn | Діаграма Венна | Диаграмма Венна | نمودار ون | 10 |
Q191849 [CC | ] | No label in ! | 策梅洛-弗兰克尔集合论 | Axiomas de Zermelo-Fraenkel | Zermelo–Fraenkel set theory | Zermelo-Fraenkel-Mengenlehre | Zermelova–Fraenkelova teorie množin | نظرية المجموعات حسب تسيرميلو-فرانكل | ツェルメロ=フレンケル集合論 | Lý thuyết tập hợp Zermelo–Fraenkel | Теорія множин Цермело — Френкеля | Система Цермело — Френкеля | 10 |
Q33401 [CC | ] | No label in ! | 罗素悖论 | Paradoxo de Russell | Russellov paradox | Russell's paradox | Russellův paradox | Nghịch lý Russell | Парадокс Расселла | Парадокс Рассела | پارادوکس راسل | הפרדוקס של ראסל | 10 |
Q242767 [CC | ] | No label in ! | 补集 | Complementar | Doplnok (množiny) | Complement (set theory) | Doplněk množiny | Phần bù (lý thuyết tập hợp) | Доповнення множин | Разность множеств | متمم (نظریه مجموعهها) | משלים (מתמטיקה) | 10 |
Q17736 [CC | ] | No label in ! | 公理 | Aksjomat | Axióma | Axiom | مسلمة (فلسفة) | Tiên đề | Аксіома | Аксиома | اصل موضوع | 9 |
Q273188 [CC | ] | No label in ! | Cantor set | 康托尔集 | Zbiór Cantora | Conjunto de Cantor | Insieme di Cantor | カントール集合 | Conjunt de Cantor | קבוצת קנטור | 9 |
Q903783 [CC | ] | No label in ! | 朴素集合论 | Teoria ingênua dos conjuntos | Naive set theory | Naivní teorie množin | نظرية المجموعات المبسطة | Lý thuyết tập hợp ngây thơ | Наївна теорія множин | نظریه طبیعی مجموعهها | תורת הקבוצות הנאיבית | 9 |
Q1055058 [CC | ] | No label in ! | 模糊集 | Conjunto difuso | Neostrá množina | Fuzzy set | Fuzzy množina | Tập mờ | Нечітка множина | Нечёткое множество | مجموعههای فازی | 9 |
Q76556 [CC | ] | No label in ! | Richard Dedekind | 理查德·戴德金 | Ріхард Дедекінд | Дедекинд, Рихард | ریچارد ددکیند | 9 |
Q229102 [CC | ] | No label in ! | Surĵeto | Surjective function | Función sobreyectiva | Surjektio | 全射 | Toàn ánh | Сюръекция | Funció exhaustiva | פונקציה על | 9 |
Q11348 [CC | ] | No label in ! | Function (mathematics) | Funktio | دالة | 関数 (数学) | Hàm số | Функція (математика) | Функция (математика) | تابع | פונקציה | 9 |
Q182003 [CC | ] | No label in ! | Injective function | Función inyectiva | Injektio | دالة متباينة | 単射 | Đơn ánh | Инъекция (математика) | Funció injectiva | פונקציה חד-חד-ערכית | 9 |
Q33760 [CC | ] | No label in ! | Bertrand Russell | 伯特兰·罗素 | Рассел, Бертран | برتراند راسل | 8 |
Q214969 [CC | ] | No label in ! | Willard Van Orman Quine | 威拉德·范·奥曼·蒯因 | Willard van Orman Quine | Віллард Ван Орман Квайн | Куайн, Уиллард Ван Орман | ویلارد کواین | 8 |
Q173300 [CC | ] | No label in ! | 德摩根定律 | Teoremas de De Morgan | De Morganove zákony | De Morgan's laws | De Morganovy zákony | Luật De Morgan | Правила де Моргана | قوانین دمورگان | 8 |
Q57248 [CC | ] | No label in ! | Ernst Zermelo | 恩斯特·策梅洛 | Ернст Цермело | Цермело, Эрнст | ارنست تسرملو | 8 |
Q1361825 [CC | ] | No label in ! | 替代公理 | Axioma da substituição | Axiom schema of replacement | Schéma nahrazení | Аксіомна схема підстановки | Схема преобразования | اصول موضوع جایگزینی | אקסיומת ההחלפה | 8 |
Q217594 [CC | ] | No label in ! | 类 (数学) | Classe (teoria dos conjuntos) | Class (set theory) | Třída (matematika) | Lớp (lý thuyết tập hợp) | Клас (теорія множин) | Класс (математика) | کلاس (نظریه مجموعهها) | 8 |
Q840810 [CC | ] | No label in ! | 超限归纳法 | Indução transfinita | Transfinite induction | Transfinitní indukce | Quy nạp siêu hạn | Трансфінітна індукція | Трансфинитная индукция | استقرای ترامتناهی | 8 |
Q17455 [CC | ] | No label in ! | John von Neumann | Джон фон Нейман | Нейман, Джон фон | جان فون نویمان | 8 |
Q607728 [CC | ] | No label in ! | Neracionala nombro | Liczby niewymierne | Número irracional | Iracionální číslo | Irrationale tal | Zenbaki irrazional | Số vô tỉ | Nombre irracional | 8 |
Q61043 [CC | ] | No label in ! | 亚伯拉罕·弗兰克尔 | Adolf Abraham Halevi Fraenkel | Adolf Fraenkel | Abraham Fraenkel | Абрахам Френкель | Френкель, Абрахам | آبراهام فرنکل | 7 |
Q671944 [CC | ] | No label in ! | 传递集合 | Conjunto transitivo | Transitive set | Tranzitivní třída | Транзитивна множина | Транзитивное множество | مجموعه متعدی (نظریه مجموعهها) | 7 |
Q81392 [CC | ] | No label in ! | Fractal | 分形 | Fraktalo | Frattale | フラクタル | פרקטל | 7 |
Q1077811 [CC | ] | No label in ! | 幂集公理 | Axioma da potência | Axiom of power set | Аксіома булеана | Аксиома степени | اصل موضوع مجموعه توانی | אקסיומת קבוצת החזקה | 7 |
Q1987722 [CC | ] | No label in ! | 并集公理 | Axioma da união | Axiom of union | Аксіома об'єднання | Аксиома объединения | اصل موضوع اجتماع | אקסיומת האיחוד | 7 |
Q133250 [CC | ] | No label in ! | 序列 | Vico | Sequence | Successione (matematica) | 列 (数学) | Dãy (toán học) | סדרה (מתמטיקה) | 7 |
Q920450 [CC | ] | No label in ! | 无穷公理 | Axioma do infinito | Axiom of infinity | Аксіома нескінченності | Аксиома бесконечности | اصل موضوع بینهایت | אקסיומת הקבוצה האינסופית | 7 |
Q191290 [CC | ] | No label in ! | زوج مرتب | 有序对 | Ordered pair | Cặp được sắp | Впорядкована пара | Упорядоченная пара | 7 |
Q908627 [CC | ] | No label in ! | Alef-nombro | Skala alefów | Aleph number | Aleph-Funktion | アレフ数 | Числа алеф | Nombre infinit | 7 |
Q22952648 [CC | ] | No label in ! | Kardinalo de kontinuumo | Continuum (teoria mnogości) | Cardinality of the continuum | Cardinalità del continuo | 連続体濃度 | Континуум (теория множеств) | עוצמת הרצף | 7 |
Q1244890 [CC | ] | No label in ! | Racionala nombro | Rationale Zahl | Racionální číslo | Rationale tal | Số hữu tỉ | Rationaal getal | Rationella tal | 7 |
Q185478 [CC | ] | No label in ! | எண்ணுறுமையும் எண்ணுறாமையும் | თვლადი სიმრავლე | 可算集合 | Зліченна множина | Счётное множество | Prebrojiv skup | Сăвăнакан йыш | 7 |
Q3303153 [CC | ] | No label in ! | 依賴選擇公理 | Princípio da Escolha Dependente | Axiom of dependent choice | Axiom závislého výběru | Аксіома залежного вибору | Аксиома зависимого выбора | 6 |
Q278770 [CC | ] | No label in ! | 冯诺伊曼-博内斯-哥德尔集合论 | Teoria dos conjuntos de Von Neumann-Bernays-Gödel | Von Neumann–Bernays–Gödel set theory | Von Neumannova–Bernaysova–Gödelova teorie množin | Теорія множин фон Неймана — Бернайса — Геделя | Система аксиом фон Неймана — Бернайса — Гёделя | 6 |
Q780487 [CC | ] | No label in ! | 分类公理 | Axioma da separação | Axiom schema of specification | Аксіомна схема виділення | Схема выделения | اصل موضوع تصریح | 6 |
Q1000116 [CC | ] | No label in ! | 可数选择公理 | Axiom of countable choice | Axiom spočetného výběru | Аксіома зліченного вибору | Аксиома счётного выбора | اصل انتخاب شمارا | 6 |
Q740424 [CC | ] | No label in ! | 外延公理 | Axioma da extensão | Axiom of extensionality | Аксіома об'ємності | Аксиома объёмности | אקסיומת ההיקפיות | 6 |
Q1548262 [CC | ] | No label in ! | 大基数 | Propriedade de grande cardinal | Duże liczby kardynalne | Large cardinal | Velké kardinály | Великі кардинальні числа | 6 |
Q163335 [CC | ] | No label in ! | Principia Mathematica | 数学原理 | مبادی ریاضیات | 6 |
Q470981 [CC | ] | No label in ! | 正则性公理 | Axioma da regularidade | Axiom of regularity | Аксіома регулярності | Аксиома регулярности | אקסיומת היסוד | 6 |
Q920796 [CC | ] | No label in ! | 配对公理 | Axioma do par | Axiom of pairing | Аксіома пари | Аксиома пары | اصل موضوع زوجسازی | 6 |
Q122318 [CC | ] | No label in ! | Paul Bernays | Isaak Paul Bernays | Бернайс, Пауль | پل برنایز | 6 |
Q65943 [CC | ] | No label in ! | Twierdzenie | Theorem | مبرهنة | Định lý toán học | Теорема | قضیه | 6 |
Q1166618 [CC | ] | No label in ! | Mathematical logic | منطق رياضي | Logic toán | Математична логіка | منطق ریاضی | לוגיקה מתמטית | 6 |
Q1003136 [CC | ] | No label in ! | Forsing | 力迫 | Forçamento | Forcing (mathematics) | 5 |
Q877945 [CC | ] | No label in ! | 递归集合 | Conjunto recursivo | Computable set | Разрешимое множество | مجموعه بازگشتی | 5 |
Q622185 [CC | ] | No label in ! | 馬丁公理 | Axioma de Martin | Martin's axiom | Аксіома Мартіна | Аксиома Мартина | 5 |
Q831092 [CC | ] | No label in ! | Skala betów | Beth number | Beth-Funktion | ベート数 | ב (מתמטיקה) | 5 |
Q164307 [CC | ] | No label in ! | Binary operation | عملية ثنائية | Phép toán hai ngôi | Бінарна операція | عمل دوتایی | 5 |
Q173183 [CC | ] | No label in ! | Boolean algebra | جبر بول | Đại số Boole | Алгебра логіки | جبر بولی | 5 |
Q408386 [CC | ] | No label in ! | Inference | استدلال (بحث علمي) | Suy luận | Висновок | استنباط | 5 |
Q200694 [CC | ] | No label in ! | Propositional calculus | حساب القضايا | Mệnh đề toán học | Числення висловлень | حساب گزارهای | 5 |
Q179976 [CC | ] | No label in ! | Recursion | عودية | Đệ quy | Рекурсія | بازگشت | 5 |
Q1165112 [CC | ] | No label in ! | Singleton (mathematics) | Đơn điểm (toán học) | Синглетон (математика) | مجموعه تکعضوی | יחידון | 5 |
Q1056428 [CC | ] | No label in ! | Type theory | نظرية النمط | Lý thuyết hình thái | Теорія типів | نظریه نوعها | 5 |
Q792536 [CC | ] | No label in ! | 公理模式 | Axiom schema | Аксіомна схема | Схема аксиом | 4 |
Q681771 [CC | ] | No label in ! | 可替代的集合论 | Alternatívna teória množín | Alternativní teorie množin | نظریه مجموعه جایگزین | 4 |
Q191853 [CC | ] | No label in ! | 策梅洛集合论 | Teoria de conjuntos de Zermelo | Zermelo set theory | Теорія множин Цермело | 4 |
Q2296408 [CC | ] | No label in ! | 蘇斯林問題 | Problema de Suslin | Suslin's problem | Suslinova hypotéza | 4 |
Q739925 [CC | ] | No label in ! | 集合族 | Família de conjuntos | Family of sets | Сімейство множин | 4 |
Q597663 [CC | ] | No label in ! | Conjunto universo | Základná množina | Universe (mathematics) | Univerzální množina | 4 |
Q2777107 [CC | ] | No label in ! | Universo construível | Constructible universe | Konstruovatelná množina | Конструктивный универсум | 4 |
Q173091 [CC | ] | No label in ! | Transcenda nombro | Liczba przestępna | Số siêu việt | Transcendent getal | 4 |
Q1010269 [CC | ] | No label in ! | Buraliho-Fortiho paradox | Burali-Forti paradox | Парадокс Бурали-Форти | پارادوکس بورالی-فورتی | 4 |
Q1445491 [CC | ] | No label in ! | Aleph-zéro | Alef cero | Alef-noll | אלף אפס | 4 |
Q186619 [CC | ] | No label in ! | Argument | حجة (منطق) | Аргумент | برهان (منطق) | 4 |
Q942353 [CC | ] | No label in ! | Boolean function | دالة بول | Булева функція | تابع بولی | 4 |
Q309157 [CC | ] | No label in ! | Church–Turing thesis | أطروحة تشرش-تورينغ | Теза Черча — Тюрінга | تز چرچ-تورینگ | 4 |
Q818930 [CC | ] | No label in ! | Computability theory | Lý thuyết tính toán | Теорія обчислюваності | نظریه رایانشپذیری | 4 |
Q192439 [CC | ] | No label in ! | Domain of a function | منطلق دالة | Tập xác định | Область визначення | 4 |
Q4055684 [CC | ] | No label in ! | First-order logic | منطق الرتبة الأولى | Logic bậc nhất | Логіка першого порядку | 4 |
Q565186 [CC | ] | No label in ! | Hausdorff dimension | Dimensione di Hausdorff | ハウスドルフ次元 | ממד האוסדורף | 4 |
Q374182 [CC | ] | No label in ! | Logical consequence | استتباع منطقي | Умовивід | استلزام | 4 |
Q467606 [CC | ] | No label in ! | Model theory | نظرية النموذج | Теорія моделей | نظریه مدل | 4 |
Q4344872 [CC | ] | No label in ! | Paradoxes of set theory | Paradoxy naivní teorie množin | Парадокси теорії множин | Парадоксы теории множеств | 4 |
Q1144319 [CC | ] | No label in ! | Predicate (mathematical logic) | محمول (منطق) | Предикат | محمول | 4 |
Q852732 [CC | ] | No label in ! | Proof theory | نظرية البرهان | Lý thuyết chứng minh | نظریه برهان | 4 |
Q107342 [CC | ] | No label in ! | Syllogism | قياس (منطق) | Tam đoạn luận | Силогізм | 4 |
Q219079 [CC | ] | No label in ! | Truth table | جدول الحقيقة | Таблиці істинності | جدول ارزش | 4 |
Q1378301 [CC | ] | No label in ! | Universal set | Універсальна множина | Универсальное множество | مجموعه جهانی | 4 |
Q1047000 [CC | ] | No label in ! | Validity (logic) | صحة (المنطق) | Чинність | اعتبار (منطق) | 4 |
Q904423 [CC | ] | No label in ! | Axiomatická teorie množin | Аксіоматика теорії множин | Аксиоматическая теория множеств | תורת הקבוצות האקסיומטית | 4 |
Q1860 [CC | ] | No label in ! | 英語 | Англійська мова | زبان انگلیسی | 英文 | 4 |
Q924992 [CC | ] | No label in ! | Thomas Jech | 托马什·耶赫 | 3 |
Q92767 [CC | ] | No label in ! | Lotfali Askar-Zadeh | Lotfi Zadeh | Лотфі Заде | 3 |
Q168817 [CC | ] | No label in ! | Algebra nombro | Algebrallinen luku | Số đại số | 3 |
Q11567 [CC | ] | No label in ! | Kompleksa nombro | Số phức | Комплекслă хисеп | 3 |
Q205 [CC | ] | No label in ! | Nieskończoność | முடிவிலி | Infinity | 3 |
Q14806642 [CC | ] | No label in ! | Różnica zbiorów | Rozdiel množín | Rozdíl množin | 3 |
Q236975 [CC | ] | No label in ! | Classical logic | Класична логіка | منطق کلاسیک | 3 |
Q676835 [CC | ] | No label in ! | Computably enumerable set | مجموعة مرقمة بشكل تراجعي | Шутлавлă йыш | 3 |
Q41585 [CC | ] | No label in ! | David Hilbert | ダフィット・ヒルベルト | דויד הילברט | 3 |
Q842620 [CC | ] | No label in ! | Disjoint union | Дизъюнктное объединение | اجتماع مجزا | 3 |
Q203066 [CC | ] | No label in ! | Finitary relation | Quan hệ (toán học) | Відношення | 3 |
Q3401770 [CC | ] | No label in ! | First uncountable ordinal | 最小の非可算順序数 | אומגה אחת | 3 |
Q192161 [CC | ] | No label in ! | Formal language | Ngôn ngữ hình thức | Формальна мова | 3 |
Q2762418 [CC | ] | No label in ! | Formal proof | برهان فلسفي | Доказ (логіка) | 3 |
Q649732 [CC | ] | No label in ! | Formal system | نظام شكلي | Формальна система | 3 |
Q833585 [CC | ] | No label in ! | Foundations of mathematics | أسس الرياضيات | بنیانهای ریاضیات | 3 |
Q273167 [CC | ] | No label in ! | Hilbert's problems | ヒルベルトの23の問題 | 23 הבעיות של הילברט | 3 |
Q211790 [CC | ] | No label in ! | Logical connective | رابطة منطقية | Логічний сполучник | 3 |
Q370502 [CC | ] | No label in ! | Map (mathematics) | تطبيق (رياضيات) | Ánh xạ | 3 |
Q3490369 [CC | ] | No label in ! | Morse–Kelley set theory | Kelleyova–Morseova teorie množin | نظرية المجموعات حسب مورس-كيلي | 3 |
Q35148 [CC | ] | No label in ! | Predicate logic | Логіка предикатів | حساب محمولات | 3 |
Q108163 [CC | ] | No label in ! | Proposition | قضية (فلسفة) | گزاره (منطق) | 3 |
Q592911 [CC | ] | No label in ! | Quantifier (logic) | Lượng từ (logic) | Квантор | 3 |
Q1548746 [CC | ] | No label in ! | Second-order logic | منطق الرتبة الثانية | Логіка другого порядку | 3 |
Q548080 [CC | ] | No label in ! | Thoralf Skolem | Скулем, Туральф | تورالف اسکولم | 3 |
Q185521 [CC | ] | No label in ! | Truth value | قيمة صواب | Значення істинності | 3 |
Q185148 [CC | ] | No label in ! | Intervalo (matemática) | Interval (matematică) | Interval (matemàtiques) | 3 |
Q12503 [CC | ] | No label in ! | முழு எண் | Số nguyên | Geheel getal | 3 |
Q33057 [CC | ] | No label in ! | ISBN | International Standard Book Number | شماره استاندارد بینالمللی کتاب | 3 |
Q6641390 [CC | ] | No label in ! | ZFC系統無法確定的命題列表 | List of statements independent of ZFC | 2 |
Q600590 [CC | ] | No label in ! | 多元组 | Tuple | 2 |
Q649337 [CC | ] | No label in ! | 新基础集合论 | New Foundations | 2 |
Q5737811 [CC | ] | No label in ! | 继承有限集合 | Hereditarily finite set | 2 |
Q17295 [CC | ] | No label in ! | Eŭklida spaco | מרחב אוקלידי | 2 |
Q1331373 [CC | ] | No label in ! | Liczba nieosiągalna | Inaccessible cardinal | 2 |
Q828646 [CC | ] | No label in ! | Paradoks Hilberta | Hilberts hotel | 2 |
Q1888019 [CC | ] | No label in ! | Petr Vopěnka | 2 |
Q18205396 [CC | ] | No label in ! | Axiom of adjunction | Аксіома приєднання | 2 |
Q4830558 [CC | ] | No label in ! | Axiom of determinacy | Аксиома детерминированности | 2 |
Q792542 [CC | ] | No label in ! | Axiomatic system | Аксіоматика | 2 |
Q3262192 [CC | ] | No label in ! | Decision problem | مسئله تصمیم | 2 |
Q2704791 [CC | ] | No label in ! | Enumeration | تعداد | 2 |
Q130998 [CC | ] | No label in ! | Equivalence relation | יחס שקילות | 2 |
Q965432 [CC | ] | No label in ! | Extensionality | مصداقیت | 2 |
Q5532389 [CC | ] | No label in ! | General set theory | Загальна теорія множин | 2 |
Q2705017 [CC | ] | No label in ! | Independence (mathematical logic) | Незалежність системи аксіом | 2 |
Q523607 [CC | ] | No label in ! | Interpretation (logic) | Інтерпретація (логіка) | 2 |
Q189112 [CC | ] | No label in ! | Isomorphism | Phép đẳng cấu | 2 |
Q6897882 [CC | ] | No label in ! | Monadic predicate calculus | Числення одномісних предикатів | 2 |
Q1572108 [CC | ] | No label in ! | Natural deduction | استنتاج طبیعی | 2 |
Q370085 [CC | ] | No label in ! | Paul Halmos | پل ریچارد هالموس | 2 |
Q1570472 [CC | ] | No label in ! | Primitive recursive function | Рекурсивні функції | 2 |
Q1068763 [CC | ] | No label in ! | Rule of inference | Правило висновування | 2 |
Q1033910 [CC | ] | No label in ! | Schröder–Bernstein theorem | משפט קנטור-שרדר-ברנשטיין | 2 |
Q963731 [CC | ] | No label in ! | Semantics of logic | Семантика логіки | 2 |
Q3352804 [CC | ] | No label in ! | Set-builder notation | Форма записи множества | 2 |
Q2749902 [CC | ] | No label in ! | Square of opposition | Логічний квадрат | 2 |
Q2372244 [CC | ] | No label in ! | Symbol (formal) | Символ (логіка) | 2 |
Q2395230 [CC | ] | No label in ! | Syntax (logic) | نحو (منطق) | 2 |
Q1896657 [CC | ] | No label in ! | Urelement | Урэлемент | 2 |
Q77887 [CC | ] | No label in ! | Von Neumann universe | Універсум фон Неймана | 2 |
Q2013 [CC | ] | No label in ! | Wikidata | 2 |
Q489168 [CC | ] | No label in ! | Nome massa | اسم ناشمارا | 2 |
Q3142865 [CC | ] | No label in ! | تفكير منطقي | استدلال منطقی | 2 |
Q173853 [CC | ] | No label in ! | Quaternion | Кватернион | 2 |
Q235028 [CC | ] | No label in ! | Tập hợp | Жиын | 2 |
Q1806121 [CC | ] | No label in ! | Область значень | برد (ریاضی) | 2 |
Q949972 [CC | ] | No label in ! | Тоді й лише тоді | אם ורק אם | 2 |
Q620006 [CC | ] | No label in ! | Порядковый тип | טיפוס סדר | 2 |
Q184899 [CC | ] | No label in ! | Bewijs uit het ongerijmde | הוכחה בדרך השלילה | 2 |
Q2914225 [CC | ] | No label in ! | Gelijkmachtigheid | קבוצות שקולות | 2 |
Q461 [CC | ] | No label in ! | 互联网档案馆 | 1 |
Q9890 [CC | ] | No label in ! | Omego | 1 |
Q9145260 [CC | ] | No label in ! | Aleksander Błaszczyk | 1 |
Q1729107 [CC | ] | No label in ! | Arytmetyka liczb kardynalnych | 1 |
Q4352241 [CC | ] | No label in ! | Funkcja kardynalna | 1 |
Q455501 [CC | ] | No label in ! | Helena Rasiowa | 1 |
Q41719 [CC | ] | No label in ! | Hipoteza | 1 |
Q11715248 [CC | ] | No label in ! | Jacek Cichoń | 1 |
Q161846 [CC | ] | No label in ! | Kazimierz Kuratowski | 1 |
Q1119050 [CC | ] | No label in ! | Lemat Fodora | 1 |
Q423986 [CC | ] | No label in ! | Lemat Szanina | 1 |
Q925445 [CC | ] | No label in ! | Liczba mierzalna | 1 |
Q875333 [CC | ] | No label in ! | Liczby nadrzeczywiste | 1 |
Q170790 [CC | ] | No label in ! | Matematyk | 1 |
Q7632662 [CC | ] | No label in ! | Następnik liczby kardynalnej | 1 |
Q1193137 [CC | ] | No label in ! | Regularna liczba kardynalna | 1 |
Q324896 [CC | ] | No label in ! | Ronald Jensen | 1 |
Q448592 [CC | ] | No label in ! | Saharon Szelach | 1 |
Q589250 [CC | ] | No label in ! | Teoria PCF | 1 |
Q7818795 [CC | ] | No label in ! | Tomek Bartoszyński | 1 |
Q170084 [CC | ] | No label in ! | Uogólnienie | 1 |
Q1428376 [CC | ] | No label in ! | Wydawnictwo Naukowe PWN | 1 |
Q9387202 [CC | ] | No label in ! | Zasada kwadratu Jensena | 1 |
Q2748142 [CC | ] | No label in ! | Abstract logic | 1 |
Q341810 [CC | ] | No label in ! | Ackermann set theory | 1 |
Q1005222 [CC | ] | No label in ! | Algebraic logic | 1 |
Q840148 [CC | ] | No label in ! | Almost | 1 |
Q837518 [CC | ] | No label in ! | Alphabet (formal languages) | 1 |
Q4747788 [CC | ] | No label in ! | Amorphous set | 1 |
Q1315869 [CC | ] | No label in ! | Arity | 1 |
Q2328174 [CC | ] | No label in ! | Atomic formula | 1 |
Q4345785 [CC | ] | No label in ! | Atomic sentence | 1 |
Q214526 [CC | ] | No label in ! | Automata theory | 1 |
Q431667 [CC | ] | No label in ! | Automated theorem proving | 1 |
Q1151112 [CC | ] | No label in ! | Axiom of constructibility | 1 |
Q3511558 [CC | ] | No label in ! | Axiom of global choice | 1 |
Q836475 [CC | ] | No label in ! | Axiom of limitation of size | 1 |
Q737851 [CC | ] | No label in ! | Banach–Tarski paradox | 1 |
Q4943350 [CC | ] | No label in ! | Boolean algebras canonically defined | 1 |
Q379078 [CC | ] | No label in ! | Cantor's paradox | 1 |
Q15830473 [CC | ] | No label in ! | Categorical theory | 1 |
Q719395 [CC | ] | No label in ! | Category (mathematics) | 1 |
Q2518298 [CC | ] | No label in ! | Category of sets | 1 |
Q217413 [CC | ] | No label in ! | Category theory | 1 |
Q1089708 [CC | ] | No label in ! | Church encoding | 1 |
Q199006 [CC | ] | No label in ! | Codomain | 1 |
Q1149458 [CC | ] | No label in ! | Compactness theorem | 1 |
Q5155608 [CC | ] | No label in ! | Comparability | 1 |
Q3508260 [CC | ] | No label in ! | Complete theory | 1 |
Q1148456 [CC | ] | No label in ! | Computable function | 1 |
Q1575634 [CC | ] | No label in ! | Concrete category | 1 |
Q864213 [CC | ] | No label in ! | Conservative extension | 1 |
Q1319773 [CC | ] | No label in ! | Consistency | 1 |
Q2584477 [CC | ] | No label in ! | Construction of the real numbers | 1 |
Q5164501 [CC | ] | No label in ! | Constructive set theory | 1 |
Q430001 [CC | ] | No label in ! | Decidability (logic) | 1 |
Q5249754 [CC | ] | No label in ! | Dedekind-infinite set | 1 |
Q3322159 [CC | ] | No label in ! | Deductive system | 1 |
Q15805655 [CC | ] | No label in ! | Diagram (mathematical logic) | 1 |
Q5358902 [CC | ] | No label in ! | Elementary diagram | 1 |
Q877149 [CC | ] | No label in ! | Elementary equivalence | 1 |
Q5358906 [CC | ] | No label in ! | Elementary function arithmetic | 1 |
Q5384443 [CC | ] | No label in ! | Equiconsistency | 1 |
Q172891 [CC | ] | No label in ! | Euclid's Elements | 1 |
Q162886 [CC | ] | No label in ! | Euclidean geometry | 1 |
Q773483 [CC | ] | No label in ! | Existential quantification | 1 |
Q6498784 [CC | ] | No label in ! | Expression (mathematics) | 1 |
Q5421941 [CC | ] | No label in ! | Extension by definitions | 1 |
Q5163116 [CC | ] | No label in ! | Extension by new constant and function names | 1 |
Q16545258 [CC | ] | No label in ! | Filter (set theory) | 1 |
Q5450405 [CC | ] | No label in ! | Finite model theory | 1 |
Q55611653 [CC | ] | No label in ! | Finite-valued logic | 1 |
Q111181235 [CC | ] | No label in ! | Fixed-point logic | 1 |
Q373045 [CC | ] | No label in ! | Formal grammar | 1 |
Q3005945 [CC | ] | No label in ! | Formation rule | 1 |
Q5474574 [CC | ] | No label in ! | Foundations of geometry | 1 |
Q3502887 [CC | ] | No label in ! | Free logic | 1 |
Q935944 [CC | ] | No label in ! | Free variables and bound variables | 1 |
Q5508846 [CC | ] | No label in ! | Functional predicate | 1 |
Q1465090 [CC | ] | No label in ! | Grothendieck universe | 1 |
Q431411 [CC | ] | No label in ! | Ground expression | 1 |
Q110765095 [CC | ] | No label in ! | Ground formula | 1 |
Q1451046 [CC | ] | No label in ! | Gödel numbering | 1 |
Q902052 [CC | ] | No label in ! | Gödel's completeness theorem | 1 |
Q200787 [CC | ] | No label in ! | Gödel's incompleteness theorems | 1 |
Q622849 [CC | ] | No label in ! | Halting problem | 1 |
Q5737878 [CC | ] | No label in ! | Hereditary set | 1 |
Q1644136 [CC | ] | No label in ! | Higher-order logic | 1 |
Q910361 [CC | ] | No label in ! | Hilbert system | 1 |
Q840243 [CC | ] | No label in ! | Hilbert's axioms | 1 |
Q468620 [CC | ] | No label in ! | History of logic | 1 |
Q860623 [CC | ] | No label in ! | Image (mathematics) | 1 |
Q55614449 [CC | ] | No label in ! | Infinite-valued logic | 1 |
Q131222 [CC | ] | No label in ! | Information theory | 1 |
Q6033616 [CC | ] | No label in ! | Inhabited set | 1 |
Q17101792 [CC | ] | No label in ! | Interpretation (model theory) | 1 |
Q1456811 [CC | ] | No label in ! | Kolmogorov complexity | 1 |
Q3526833 [CC | ] | No label in ! | Kripke–Platek set theory | 1 |
Q242028 [CC | ] | No label in ! | Lambda calculus | 1 |
Q207505 [CC | ] | No label in ! | Lemma (mathematics) | 1 |
Q2379128 [CC | ] | No label in ! | Lindström's theorem | 1 |
Q6626686 [CC | ] | No label in ! | List of Hilbert systems | 1 |
Q3632199 [CC | ] | No label in ! | List of axioms | 1 |
Q2908665 [CC | ] | No label in ! | List of first-order theories | 1 |
Q6621081 [CC | ] | No label in ! | List of formal systems | 1 |
Q6627335 [CC | ] | No label in ! | List of mathematical theories | 1 |
Q104867734 [CC | ] | No label in ! | List of set identities and relations | 1 |
Q8078 [CC | ] | No label in ! | Logic | 1 |
Q204355 [CC | ] | No label in ! | Logical biconditional | 1 |
Q191081 [CC | ] | No label in ! | Logical conjunction | 1 |
Q1782658 [CC | ] | No label in ! | Logical constant | 1 |
Q1651704 [CC | ] | No label in ! | Logical disjunction | 1 |
Q3308477 [CC | ] | No label in ! | Logical equality | 1 |
Q220433 [CC | ] | No label in ! | Logical equivalence | 1 |
Q3311695 [CC | ] | No label in ! | Logical truth | 1 |
Q845691 [CC | ] | No label in ! | Logicism | 1 |
Q1068283 [CC | ] | No label in ! | Löwenheim–Skolem theorem | 1 |
Q185502 [CC | ] | No label in ! | Many-valued logic | 1 |
Q7881229 [CC | ] | No label in ! | Material conditional | 1 |
Q246672 [CC | ] | No label in ! | Mathematical object | 1 |
Q193983 [CC | ] | No label in ! | Metalanguage | 1 |
Q4059939 [CC | ] | No label in ! | Minimal axioms for Boolean algebra | 1 |
Q6888319 [CC | ] | No label in ! | Model complete theory | 1 |
Q26899137 [CC | ] | No label in ! | Monadic second-order logic | 1 |
Q628036 [CC | ] | No label in ! | NP (complexity) | 1 |
Q6959839 [CC | ] | No label in ! | Naive Set Theory (book) | 1 |
Q190558 [CC | ] | No label in ! | Negation | 1 |
Q233858 [CC | ] | No label in ! | Non-Euclidean geometry | 1 |
Q7048956 [CC | ] | No label in ! | Non-logical symbol | 1 |
Q3318128 [CC | ] | No label in ! | Non-standard model | 1 |
Q3318130 [CC | ] | No label in ! | Non-standard model of arithmetic | 1 |
Q830486 [CC | ] | No label in ! | Open formula | 1 |
Q3884033 [CC | ] | No label in ! | Operation (mathematics) | 1 |
Q7100782 [CC | ] | No label in ! | Ordinal analysis | 1 |
Q846354 [CC | ] | No label in ! | P (complexity) | 1 |
Q746242 [CC | ] | No label in ! | P versus NP problem | 1 |
Q381060 [CC | ] | No label in ! | Partition of a set | 1 |
Q842755 [CC | ] | No label in ! | Peano axioms | 1 |
Q180536 [CC | ] | No label in ! | Philosophy of mathematics | 1 |
Q10531432 [CC | ] | No label in ! | Predicate variable | 1 |
Q7243580 [CC | ] | No label in ! | Primitive recursive arithmetic | 1 |
Q17163436 [CC | ] | No label in ! | Proof of impossibility | 1 |
Q1372900 [CC | ] | No label in ! | Propositional formula | 1 |
Q3492863 [CC | ] | No label in ! | Propositional variable | 1 |
Q7268912 [CC | ] | No label in ! | Quantifier rank | 1 |
Q123739394 [CC | ] | No label in ! | Relation (mathematics) | 1 |
Q2005236 [CC | ] | No label in ! | Reverse mathematics | 1 |
Q928884 [CC | ] | No label in ! | Robinson arithmetic | 1 |
Q1350299 [CC | ] | No label in ! | Satisfiability | 1 |
Q1473532 [CC | ] | No label in ! | Saturated model | 1 |
Q7442973 [CC | ] | No label in ! | Second-order arithmetic | 1 |
Q7448234 [CC | ] | No label in ! | Self-verifying theories | 1 |
Q7449101 [CC | ] | No label in ! | Semantic theory of truth | 1 |
Q2509500 [CC | ] | No label in ! | Sentence (mathematical logic) | 1 |
Q1771121 [CC | ] | No label in ! | Sequent calculus | 1 |
Q741810 [CC | ] | No label in ! | Signature (logic) | 1 |
Q7536198 [CC | ] | No label in ! | Skolem arithmetic | 1 |
Q693083 [CC | ] | No label in ! | Soundness | 1 |
Q18392333 [CC | ] | No label in ! | Spectrum of a sentence | 1 |
Q7575321 [CC | ] | No label in ! | Spectrum of a theory | 1 |
Q1989404 [CC | ] | No label in ! | Strength (mathematical logic) | 1 |
Q2594083 [CC | ] | No label in ! | String (formal languages) | 1 |
Q1851710 [CC | ] | No label in ! | Structure (mathematical logic) | 1 |
Q1522579 [CC | ] | No label in ! | Substitution (logic) | 1 |
Q859254 [CC | ] | No label in ! | Substructure (mathematics) | 1 |
Q7644269 [CC | ] | No label in ! | Supertask | 1 |
Q442383 [CC | ] | No label in ! | T-schema | 1 |
Q7686756 [CC | ] | No label in ! | Tarski's axiomatization of the reals | 1 |
Q7686757 [CC | ] | No label in ! | Tarski's axioms | 1 |
Q574902 [CC | ] | No label in ! | Tarski's undefinability theorem | 1 |
Q3984085 [CC | ] | No label in ! | Tarski–Grothendieck set theory | 1 |
Q209555 [CC | ] | No label in ! | Tautology (logic) | 1 |
Q1318370 [CC | ] | No label in ! | Term (logic) | 1 |
Q237125 [CC | ] | No label in ! | Term logic | 1 |
Q10859910 [CC | ] | No label in ! | Theory (mathematical logic) | 1 |
Q185443 [CC | ] | No label in ! | Three-valued logic | 1 |
Q7806105 [CC | ] | No label in ! | Timeline of mathematical logic | 1 |
Q17157202 [CC | ] | No label in ! | Transfer principle | 1 |
Q7847560 [CC | ] | No label in ! | True arithmetic | 1 |
Q7848347 [CC | ] | No label in ! | Truth predicate | 1 |
Q163310 [CC | ] | No label in ! | Turing machine | 1 |
Q834884 [CC | ] | No label in ! | Type (model theory) | 1 |
Q106671513 [CC | ] | No label in ! | Ultrafilter on a set | 1 |
Q1535225 [CC | ] | No label in ! | Ultraproduct | 1 |
Q3502995 [CC | ] | No label in ! | Undecidable problem | 1 |
Q7885264 [CC | ] | No label in ! | Uninterpreted function | 1 |
Q2502253 [CC | ] | No label in ! | Uniqueness quantification | 1 |
Q126695 [CC | ] | No label in ! | Universal quantification | 1 |
Q50701 [CC | ] | No label in ! | Variable (mathematics) | 1 |
Q655328 [CC | ] | No label in ! | Well-formed formula | 1 |
Q118455746 [CC | ] | No label in ! | Control de autoridades | 1 |
Q381892 [CC | ] | No label in ! | Espacio compacto | 1 |
Q9288 [CC | ] | No label in ! | Heprea | 1 |
Q106313381 [CC | ] | No label in ! | Kardinaaliluku | 1 |
Q11210 [CC | ] | No label in ! | Koordinaatisto | 1 |
Q1396667 [CC | ] | No label in ! | Assioma | 1 |
Q356702 [CC | ] | No label in ! | Cantors erster Überabzählbarkeitsbeweis | 1 |
Q1033872 [CC | ] | No label in ! | Cantors erstes Diagonalargument | 1 |
Q563335 [CC | ] | No label in ! | Deutsche Mathematiker-Vereinigung | 1 |
Q131276 [CC | ] | No label in ! | Internationale Standardnummer für fortlaufende Sammelwerke | 1 |
Q1405962 [CC | ] | No label in ! | Unendlichkeit | 1 |
Q122653 [CC | ] | No label in ! | Zahlensystem | 1 |
Q104752 [CC | ] | No label in ! | Nesoudělná čísla | 1 |
Q1455907 [CC | ] | No label in ! | Rekurzivní jazyk | 1 |
Q43514 [CC | ] | No label in ! | Teorie relativity | 1 |
Q11538 [CC | ] | No label in ! | Mathematical proof | 1 |
Q12202385 [CC | ] | No label in ! | تركيب (منطق) | 1 |
Q16119569 [CC | ] | No label in ! | قضية (توضيح) | 1 |
Q29654355 [CC | ] | No label in ! | Dreapta reală | 1 |
Q726212 [CC | ] | No label in ! | Mulțime mărginită | 1 |
Q743418 [CC | ] | No label in ! | Octonion | 1 |
Q11563 [CC | ] | No label in ! | Số | 1 |
Q724975 [CC | ] | No label in ! | Số nguyên Gauss | 1 |
Q311627 [CC | ] | No label in ! | Số p-adic | 1 |
Q837414 [CC | ] | No label in ! | Số siêu phức | 1 |
Q200227 [CC | ] | No label in ! | Số âm | 1 |
Q9165172 [CC | ] | No label in ! | Số ảo | 1 |
Q615599 [CC | ] | No label in ! | Арістотелева логіка | 1 |
Q1150675 [CC | ] | No label in ! | Доказові обчислення | 1 |
Q1174982 [CC | ] | No label in ! | Континуум (теорія множин) | 1 |
Q2373971 [CC | ] | No label in ! | Криза основ математики | 1 |
Q1948412 [CC | ] | No label in ! | Морфізм | 1 |
Q12139612 [CC | ] | No label in ! | Перелік | 1 |
Q12621536 [CC | ] | No label in ! | Судження | 1 |
Q451330 [CC | ] | No label in ! | Виноградов, Иван Матвеевич | 1 |
Q1367880 [CC | ] | No label in ! | Кортеж | 1 |
Q1340196 [CC | ] | No label in ! | Математическая энциклопедия | 1 |
Q1477744 [CC | ] | No label in ! | Неупорядоченная пара | 1 |
Q125052756 [CC | ] | No label in ! | Схема свёртывания | 1 |
Q37105 [CC | ] | No label in ! | Recta | 1 |
Q752663 [CC | ] | No label in ! | Technische Universiteit Delft | 1 |
Q1069891 [CC | ] | No label in ! | Transfiniet getal | 1 |
Q648266 [CC | ] | No label in ! | Wayback Machine | 1 |
Q2303886 [CC | ] | No label in ! | Index (matematik) | 1 |
Q247154 [CC | ] | No label in ! | شمارش | 1 |
Q56356450 [CC | ] | No label in ! | قواعد استنتاج | 1 |
Q328 [CC | ] | No label in ! | ویکیپدیای انگلیسی | 1 |
Q2034 [CC | ] | No label in ! | 1900 | 1 |
Q168550 [CC | ] | No label in ! | אריק וייסשטיין | 1 |
Q290810 [CC | ] | No label in ! | הלמה של צורן | 1 |
Q207006 [CC | ] | No label in ! | וולפרם אלפא | 1 |
Q130901 [CC | ] | No label in ! | יחס (תורת הקבוצות) | 1 |
Q583760 [CC | ] | No label in ! | יחס אנטי-סימטרי | 1 |
Q1248241 [CC | ] | No label in ! | יחס הופכי | 1 |
Q64861 [CC | ] | No label in ! | יחס טרנזיטיבי | 1 |
Q621461 [CC | ] | No label in ! | יחס סימטרי | 1 |
Q621850 [CC | ] | No label in ! | יחס רפלקסיבי | 1 |
Q2904195 [CC | ] | No label in ! | לכסון (שיטת הוכחה) | 1 |
Q394 [CC | ] | No label in ! | מטרולוגיה | 1 |
Q1457052 [CC | ] | No label in ! | משפט הסדר הטוב | 1 |
Q474715 [CC | ] | No label in ! | סדר חלקי | 1 |
Q659746 [CC | ] | No label in ! | סדר טוב | 1 |
Q369377 [CC | ] | No label in ! | סדר מלא | 1 |
Q180159 [CC | ] | No label in ! | סימון מתמטי | 1 |
Q363948 [CC | ] | No label in ! | סתירה (לוגיקה) | 1 |
Q1033906 [CC | ] | No label in ! | פונקציית זיווג | 1 |
Q25342 [CC | ] | No label in ! | Қуат | 1 |