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.
Wikidata item
Q
(Example | In the news)
Language code

Q1128796 - No label in !


Searching link targets on 33 Wikipedias...

Toggle existing labels
ItemLabel []WikilabelsLink #
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 irracional8
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 infinit7
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 tal7
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éza4
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žina4
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 getal4
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ść | முடிவிலி | Infinity3
Q14806642 [CC | ]No label in !Różnica zbiorów | Rozdiel množín | Rozdíl množin3
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 getal3
Q33057 [CC | ]No label in !ISBN | International Standard Book Number | شماره استاندارد بین‌المللی کتاب3
Q6641390 [CC | ]No label in !ZFC系統無法確定的命題列表 | List of statements independent of ZFC2
Q600590 [CC | ]No label in !多元组 | Tuple2
Q649337 [CC | ]No label in !新基础集合论 | New Foundations2
Q5737811 [CC | ]No label in !继承有限集合 | Hereditarily finite set2
Q17295 [CC | ]No label in !Eŭklida spaco | מרחב אוקלידי2
Q1331373 [CC | ]No label in !Liczba nieosiągalna | Inaccessible cardinal2
Q828646 [CC | ]No label in !Paradoks Hilberta | Hilberts hotel2
Q1888019 [CC | ]No label in !Petr Vopěnka2
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ấu2
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 !Wikidata2
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 !Omego1
Q9145260 [CC | ]No label in !Aleksander Błaszczyk1
Q1729107 [CC | ]No label in !Arytmetyka liczb kardynalnych1
Q4352241 [CC | ]No label in !Funkcja kardynalna1
Q455501 [CC | ]No label in !Helena Rasiowa1
Q41719 [CC | ]No label in !Hipoteza1
Q11715248 [CC | ]No label in !Jacek Cichoń1
Q161846 [CC | ]No label in !Kazimierz Kuratowski1
Q1119050 [CC | ]No label in !Lemat Fodora1
Q423986 [CC | ]No label in !Lemat Szanina1
Q925445 [CC | ]No label in !Liczba mierzalna1
Q875333 [CC | ]No label in !Liczby nadrzeczywiste1
Q170790 [CC | ]No label in !Matematyk1
Q7632662 [CC | ]No label in !Następnik liczby kardynalnej1
Q1193137 [CC | ]No label in !Regularna liczba kardynalna1
Q324896 [CC | ]No label in !Ronald Jensen1
Q448592 [CC | ]No label in !Saharon Szelach1
Q589250 [CC | ]No label in !Teoria PCF1
Q7818795 [CC | ]No label in !Tomek Bartoszyński1
Q170084 [CC | ]No label in !Uogólnienie1
Q1428376 [CC | ]No label in !Wydawnictwo Naukowe PWN1
Q9387202 [CC | ]No label in !Zasada kwadratu Jensena1
Q2748142 [CC | ]No label in !Abstract logic1
Q341810 [CC | ]No label in !Ackermann set theory1
Q1005222 [CC | ]No label in !Algebraic logic1
Q840148 [CC | ]No label in !Almost1
Q837518 [CC | ]No label in !Alphabet (formal languages)1
Q4747788 [CC | ]No label in !Amorphous set1
Q1315869 [CC | ]No label in !Arity1
Q2328174 [CC | ]No label in !Atomic formula1
Q4345785 [CC | ]No label in !Atomic sentence1
Q214526 [CC | ]No label in !Automata theory1
Q431667 [CC | ]No label in !Automated theorem proving1
Q1151112 [CC | ]No label in !Axiom of constructibility1
Q3511558 [CC | ]No label in !Axiom of global choice1
Q836475 [CC | ]No label in !Axiom of limitation of size1
Q737851 [CC | ]No label in !Banach–Tarski paradox1
Q4943350 [CC | ]No label in !Boolean algebras canonically defined1
Q379078 [CC | ]No label in !Cantor's paradox1
Q15830473 [CC | ]No label in !Categorical theory1
Q719395 [CC | ]No label in !Category (mathematics)1
Q2518298 [CC | ]No label in !Category of sets1
Q217413 [CC | ]No label in !Category theory1
Q1089708 [CC | ]No label in !Church encoding1
Q199006 [CC | ]No label in !Codomain1
Q1149458 [CC | ]No label in !Compactness theorem1
Q5155608 [CC | ]No label in !Comparability1
Q3508260 [CC | ]No label in !Complete theory1
Q1148456 [CC | ]No label in !Computable function1
Q1575634 [CC | ]No label in !Concrete category1
Q864213 [CC | ]No label in !Conservative extension1
Q1319773 [CC | ]No label in !Consistency1
Q2584477 [CC | ]No label in !Construction of the real numbers1
Q5164501 [CC | ]No label in !Constructive set theory1
Q430001 [CC | ]No label in !Decidability (logic)1
Q5249754 [CC | ]No label in !Dedekind-infinite set1
Q3322159 [CC | ]No label in !Deductive system1
Q15805655 [CC | ]No label in !Diagram (mathematical logic)1
Q5358902 [CC | ]No label in !Elementary diagram1
Q877149 [CC | ]No label in !Elementary equivalence1
Q5358906 [CC | ]No label in !Elementary function arithmetic1
Q5384443 [CC | ]No label in !Equiconsistency1
Q172891 [CC | ]No label in !Euclid's Elements1
Q162886 [CC | ]No label in !Euclidean geometry1
Q773483 [CC | ]No label in !Existential quantification1
Q6498784 [CC | ]No label in !Expression (mathematics)1
Q5421941 [CC | ]No label in !Extension by definitions1
Q5163116 [CC | ]No label in !Extension by new constant and function names1
Q16545258 [CC | ]No label in !Filter (set theory)1
Q5450405 [CC | ]No label in !Finite model theory1
Q55611653 [CC | ]No label in !Finite-valued logic1
Q111181235 [CC | ]No label in !Fixed-point logic1
Q373045 [CC | ]No label in !Formal grammar1
Q3005945 [CC | ]No label in !Formation rule1
Q5474574 [CC | ]No label in !Foundations of geometry1
Q3502887 [CC | ]No label in !Free logic1
Q935944 [CC | ]No label in !Free variables and bound variables1
Q5508846 [CC | ]No label in !Functional predicate1
Q1465090 [CC | ]No label in !Grothendieck universe1
Q431411 [CC | ]No label in !Ground expression1
Q110765095 [CC | ]No label in !Ground formula1
Q1451046 [CC | ]No label in !Gödel numbering1
Q902052 [CC | ]No label in !Gödel's completeness theorem1
Q200787 [CC | ]No label in !Gödel's incompleteness theorems1
Q622849 [CC | ]No label in !Halting problem1
Q5737878 [CC | ]No label in !Hereditary set1
Q1644136 [CC | ]No label in !Higher-order logic1
Q910361 [CC | ]No label in !Hilbert system1
Q840243 [CC | ]No label in !Hilbert's axioms1
Q468620 [CC | ]No label in !History of logic1
Q860623 [CC | ]No label in !Image (mathematics)1
Q55614449 [CC | ]No label in !Infinite-valued logic1
Q131222 [CC | ]No label in !Information theory1
Q6033616 [CC | ]No label in !Inhabited set1
Q17101792 [CC | ]No label in !Interpretation (model theory)1
Q1456811 [CC | ]No label in !Kolmogorov complexity1
Q3526833 [CC | ]No label in !Kripke–Platek set theory1
Q242028 [CC | ]No label in !Lambda calculus1
Q207505 [CC | ]No label in !Lemma (mathematics)1
Q2379128 [CC | ]No label in !Lindström's theorem1
Q6626686 [CC | ]No label in !List of Hilbert systems1
Q3632199 [CC | ]No label in !List of axioms1
Q2908665 [CC | ]No label in !List of first-order theories1
Q6621081 [CC | ]No label in !List of formal systems1
Q6627335 [CC | ]No label in !List of mathematical theories1
Q104867734 [CC | ]No label in !List of set identities and relations1
Q8078 [CC | ]No label in !Logic1
Q204355 [CC | ]No label in !Logical biconditional1
Q191081 [CC | ]No label in !Logical conjunction1
Q1782658 [CC | ]No label in !Logical constant1
Q1651704 [CC | ]No label in !Logical disjunction1
Q3308477 [CC | ]No label in !Logical equality1
Q220433 [CC | ]No label in !Logical equivalence1
Q3311695 [CC | ]No label in !Logical truth1
Q845691 [CC | ]No label in !Logicism1
Q1068283 [CC | ]No label in !Löwenheim–Skolem theorem1
Q185502 [CC | ]No label in !Many-valued logic1
Q7881229 [CC | ]No label in !Material conditional1
Q246672 [CC | ]No label in !Mathematical object1
Q193983 [CC | ]No label in !Metalanguage1
Q4059939 [CC | ]No label in !Minimal axioms for Boolean algebra1
Q6888319 [CC | ]No label in !Model complete theory1
Q26899137 [CC | ]No label in !Monadic second-order logic1
Q628036 [CC | ]No label in !NP (complexity)1
Q6959839 [CC | ]No label in !Naive Set Theory (book)1
Q190558 [CC | ]No label in !Negation1
Q233858 [CC | ]No label in !Non-Euclidean geometry1
Q7048956 [CC | ]No label in !Non-logical symbol1
Q3318128 [CC | ]No label in !Non-standard model1
Q3318130 [CC | ]No label in !Non-standard model of arithmetic1
Q830486 [CC | ]No label in !Open formula1
Q3884033 [CC | ]No label in !Operation (mathematics)1
Q7100782 [CC | ]No label in !Ordinal analysis1
Q846354 [CC | ]No label in !P (complexity)1
Q746242 [CC | ]No label in !P versus NP problem1
Q381060 [CC | ]No label in !Partition of a set1
Q842755 [CC | ]No label in !Peano axioms1
Q180536 [CC | ]No label in !Philosophy of mathematics1
Q10531432 [CC | ]No label in !Predicate variable1
Q7243580 [CC | ]No label in !Primitive recursive arithmetic1
Q17163436 [CC | ]No label in !Proof of impossibility1
Q1372900 [CC | ]No label in !Propositional formula1
Q3492863 [CC | ]No label in !Propositional variable1
Q7268912 [CC | ]No label in !Quantifier rank1
Q123739394 [CC | ]No label in !Relation (mathematics)1
Q2005236 [CC | ]No label in !Reverse mathematics1
Q928884 [CC | ]No label in !Robinson arithmetic1
Q1350299 [CC | ]No label in !Satisfiability1
Q1473532 [CC | ]No label in !Saturated model1
Q7442973 [CC | ]No label in !Second-order arithmetic1
Q7448234 [CC | ]No label in !Self-verifying theories1
Q7449101 [CC | ]No label in !Semantic theory of truth1
Q2509500 [CC | ]No label in !Sentence (mathematical logic)1
Q1771121 [CC | ]No label in !Sequent calculus1
Q741810 [CC | ]No label in !Signature (logic)1
Q7536198 [CC | ]No label in !Skolem arithmetic1
Q693083 [CC | ]No label in !Soundness1
Q18392333 [CC | ]No label in !Spectrum of a sentence1
Q7575321 [CC | ]No label in !Spectrum of a theory1
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 !Supertask1
Q442383 [CC | ]No label in !T-schema1
Q7686756 [CC | ]No label in !Tarski's axiomatization of the reals1
Q7686757 [CC | ]No label in !Tarski's axioms1
Q574902 [CC | ]No label in !Tarski's undefinability theorem1
Q3984085 [CC | ]No label in !Tarski–Grothendieck set theory1
Q209555 [CC | ]No label in !Tautology (logic)1
Q1318370 [CC | ]No label in !Term (logic)1
Q237125 [CC | ]No label in !Term logic1
Q10859910 [CC | ]No label in !Theory (mathematical logic)1
Q185443 [CC | ]No label in !Three-valued logic1
Q7806105 [CC | ]No label in !Timeline of mathematical logic1
Q17157202 [CC | ]No label in !Transfer principle1
Q7847560 [CC | ]No label in !True arithmetic1
Q7848347 [CC | ]No label in !Truth predicate1
Q163310 [CC | ]No label in !Turing machine1
Q834884 [CC | ]No label in !Type (model theory)1
Q106671513 [CC | ]No label in !Ultrafilter on a set1
Q1535225 [CC | ]No label in !Ultraproduct1
Q3502995 [CC | ]No label in !Undecidable problem1
Q7885264 [CC | ]No label in !Uninterpreted function1
Q2502253 [CC | ]No label in !Uniqueness quantification1
Q126695 [CC | ]No label in !Universal quantification1
Q50701 [CC | ]No label in !Variable (mathematics)1
Q655328 [CC | ]No label in !Well-formed formula1
Q118455746 [CC | ]No label in !Control de autoridades1
Q381892 [CC | ]No label in !Espacio compacto1
Q9288 [CC | ]No label in !Heprea1
Q106313381 [CC | ]No label in !Kardinaaliluku1
Q11210 [CC | ]No label in !Koordinaatisto1
Q1396667 [CC | ]No label in !Assioma1
Q356702 [CC | ]No label in !Cantors erster Überabzählbarkeitsbeweis1
Q1033872 [CC | ]No label in !Cantors erstes Diagonalargument1
Q563335 [CC | ]No label in !Deutsche Mathematiker-Vereinigung1
Q131276 [CC | ]No label in !Internationale Standardnummer für fortlaufende Sammelwerke1
Q1405962 [CC | ]No label in !Unendlichkeit1
Q122653 [CC | ]No label in !Zahlensystem1
Q104752 [CC | ]No label in !Nesoudělná čísla1
Q1455907 [CC | ]No label in !Rekurzivní jazyk1
Q43514 [CC | ]No label in !Teorie relativity1
Q11538 [CC | ]No label in !Mathematical proof1
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 !Octonion1
Q11563 [CC | ]No label in !Số1
Q724975 [CC | ]No label in !Số nguyên Gauss1
Q311627 [CC | ]No label in !Số p-adic1
Q837414 [CC | ]No label in !Số siêu phức1
Q200227 [CC | ]No label in !Số âm1
Q9165172 [CC | ]No label in !Số ảo1
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 !Recta1
Q752663 [CC | ]No label in !Technische Universiteit Delft1
Q1069891 [CC | ]No label in !Transfiniet getal1
Q648266 [CC | ]No label in !Wayback Machine1
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 !19001
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