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.
Q185837 - No label in !
Searching link targets on 60 Wikipedias...
Item | Label [] | Wikilabels | Link # |
---|---|---|---|
Q36161 [CC | ] | No label in ! | Множество | Мноства | Hulk | Množina | 集合 (数学) | Ansem | Multzo | Zbiór | Ensemble | קבוצה (מתמטיקה) | 집합 | Conjunto | Halmaz (matematika) | Tập hợp (toán học) | Σύνολο | Verzameling (wiskunde) | مجموعة (رياضيات) | Mängd | Aro (matematiko) | 集 | Скуп | Set (mathematics) | Mengde | Conjunt | Множина | Mengd | Množica | Menge (Mathematik) | समुच्चय (गणित) | 集合 | Insieme | கணம் (கணிதம்) | Insemma | Skup | Himpunan (matematika) | Insimul | Mulțime | مجموعه (ریاضیات) | Set (mathemateg) | Йыш | Conxunto | 46 |
Q185359 [CC | ] | No label in ! | 并集 | Bilketa (multzo-teoria) | Suma zbiorów | Union (mathématiques) | איחוד (מתמטיקה) | 합집합 | Unión de conjuntos | Unió (halmazelmélet) | Ühend | Phép hợp | Ένωση συνόλων | Vereniging (verzamelingenleer) | اتحاد (نظرية المجموعات) | Union (matematik) | União (matemática) | Kunaĵo | 併集 | Zjednotenie (matematika) | Объединение множеств | Унија (теорија скупова) | Union (set theory) | ยูเนียน | Union (mengdelære) | Unió | Yhdiste (matematiikka) | Об'єднання множин | Unija množic | Sjednocení | Обединение (теория на множествата) | Hulkõ kogo | संघ (समुच्चय सिद्धान्त) | 和集合 | Unione (insiemistica) | சேர்ப்பு (கணக் கோட்பாடு) | Union (insemma) | Unija skupova | Gabungan (teori himpunan) | Reuniune (matematică) | اجتماع (نظریه مجموعهها) | Uniad set | Unión (conxuntos) | 41 |
Q12482 [CC | ] | No label in ! | 集合論 | Teoría de conxuntos | 集合论 | Multzo-teoria | Théorie des ensembles | תורת הקבוצות | 집합론 | Teoría de conjuntos | Halmazelmélet | Hulgateooria | Lý thuyết tập hợp | Θεωρία συνόλων | Verzamelingenleer | نظرية المجموعات | Mängdteori | Teoria dos conjuntos | 集論 | Mengjafræði | Teória množín | Теория множеств | Set theory | Mengdelære | Teoria de conjunts | Joukko-oppi | Теорія множин | Teorie množin | Жиындар теориясы | Teoria degli insiemi | Teorija skupova | Teori himpunan | Theoria de insimules | Teoria mulțimilor | Teorya ng pangkat | نظریه مجموعهها | Йышсен теорийĕ | 37 |
Q226183 [CC | ] | No label in ! | 空集 | Пустое мноства | Zbiór pusty | Ensemble vide | הקבוצה הריקה | 공집합 | Conjunto vacío | Tühi hulk | Tập hợp rỗng | Κενό σύνολο | مجموعة خالية | Tomma mängden | Prázdna množina | Пустое множество | Empty set | เซตว่าง | Den tomme mengden | Порожня множина | Prazna množica | Prázdná množina | रिक्त समुच्चय | 空集合 | Insieme vuoto | Himpunan kosong | Mulțime vidă | مجموعه تهی | Conxunto baleiro | 30 |
Q395 [CC | ] | No label in ! | Matematika | Математика | 数学 | Matematica | Mathématiques | מתמטיקה | Matemaatika | رياضيات | Matemática | Matematikk | Matematiikka | Matõmaatiga | Matematik | 數學 | Matematică | Mathemateg | 25 |
Q242767 [CC | ] | No label in ! | 补集 | Osagarri (multzo-teoria) | Dopełnienie zbioru | משלים (מתמטיקה) | 여집합 | Täiend (hulgateooria) | Phần bù (lý thuyết tập hợp) | مجموعة مكملة (نظرية المجموعات) | Komplemento (aroteorio) | 補集 | Doplnok (množiny) | Разность множеств | Complement (set theory) | ส่วนเติมเต็ม | Komplementti (joukko-oppi) | Доповнення множин | Doplněk množiny | 差集合 | Insieme complemento | நிரப்பு கணம் | Комплемент | Komplemen (teori himpunan) | متمم (نظریه مجموعهها) | Complementario (conxuntos) | 24 |
Q177646 [CC | ] | No label in ! | 子集 | Podmnožina | Подмножество | Azpimultzo | Podzbiór | Inclusion (mathématiques) | 부분집합 | Alamhulk | Tập hợp con | مجموعة جزئية | Подскуп | Subset | Subconjunt | Підмножина | उपसमुच्चय | Himpunan bagian | Subinsimul | Submulțime | زیرمجموعه | Is-set | 23 |
Q177251 [CC | ] | No label in ! | Асоцијативност | 结合律 | Łączność (matematyka) | Associativité | Асацыятыўная аперацыя | Asszociativitás | Assotsiatiivsus | Tính kết hợp | Προσεταιριστική ιδιότητα | Associativiteit (wiskunde) | Associatividade | Asocieco | Ассоциативность (математика) | สมบัติการเปลี่ยนหมู่ | Асоціативність | Asociativnost | Asociativita | சேர்ப்புப் பண்பு | Asociatividá | Sifat asosiatif | Asociativitate | Asociatividade (álxebra) | 23 |
Q379825 [CC | ] | No label in ! | 元素 (數學) | Elementu (multzo-teoria) | איבר (מתמטיקה) | Элемент (тэорыя мностваў) | 원소 (수학) | Element (matemaatika) | Phần tử (toán học) | Element (wiskunde) | عنصر (رياضيات) | Prvok množiny | Element (mathematics) | Element (matemàtiques) | Alkio (joukko-oppi) | Елемент (математика) | Элемэнт (матэматыка) | Prvek množiny | Hulga elonik | 元 (数学) | Elemento (insiemistica) | Elemen (matematika) | عنصر (ریاضیات) | 21 |
Q190763 [CC | ] | No label in ! | Vennov diagram | 文氏图 | Diagramme de Venn | דיאגרמת ון | 벤 다이어그램 | Venn-diagram | Venni diagramm | Sơ đồ Venn | Venn-mynd | Диаграмма Венна | Venn diagram | Діаграма Венна | Vennův diagram | वेन आरेख | ベン図 | Diagram Venn | Diagramă Venn | نمودار ون | 19 |
Q165474 [CC | ] | No label in ! | Przemienność | Камутатыўная аперацыя | Kommutativitás | Kommutatiivsus | Tính giao hoán | Αντιμεταθετική ιδιότητα | Commutativiteit | Comutatividade | Komuteco | Коммутативность | Commutative property | สมบัติการสลับที่ | Комутативність | Komutativnost | Komutativita | Conmutatividá | Sifat komutatif | Comutativitate | Conmutatividade | 19 |
Q173300 [CC | ] | No label in ! | Де Морганови закони | 德摩根定律 | Prawa De Morgana | 드 모르간의 법칙 | Luật De Morgan | De Morganove zákony | De Morgan's laws | กฎเดอมอร์แกน | Правила де Моргана | De Morganovy zákony | ド・モルガンの法則 | த மோர்கனின் விதி | Formulele lui De Morgan | قوانین دمورگان | Deddfau De Morgan | 16 |
Q173740 [CC | ] | No label in ! | 笛卡儿积 | Iloczyn kartezjański | Produit cartésien | מכפלה קרטזית | 곱집합 | Tích Descartes | 直積 | Karteziánsky súčin | Прямое произведение | Cartesian product | Декартів добуток множин | Kartézský součin | 直積集合 | Prodotto cartesiano | Kartezijev umnožak | ضرب دکارتی | 16 |
Q205170 [CC | ] | No label in ! | 冪集 | Zbiór potęgowy | קבוצת החזקה | 멱집합 | Tập lũy thừa | Potenčná množina | Множество всех подмножеств | Power set | Булеан | Potenční množina | Alambhulkõ hulk | 冪集合 | Himpunan kuasa | مجموعه توانی | 15 |
Q1147242 [CC | ] | No label in ! | 对称差 | Różnica symetryczna zbiorów | הפרש סימטרי | 대칭차 | Sümmeetriline vahe | Hiệu đối xứng | Symetrická diferencia | Симметрическая разность | Symmetric difference | Симетрична різниця множин | Symetrická diference | 対称差 | Beda setangkup | تفاضل متقارن | 14 |
Q272404 [CC | ] | No label in ! | 有限集合 | Konečná množina | Zbiór skończony | 유한 집합 | Tập hợp hữu hạn | Конечное множество | Finite set | Скінченна множина | परिमित समुच्चय | Insieme finito | Himpunan hingga | مجموعه متناهی | 14 |
Q164307 [CC | ] | No label in ! | Operación binaria | Operassion | Działanie dwuargumentowe | Opération binaire | Бінарная аперацыя | Binaarne tehe | Operação binária | Бинарная операция | Binary operation | Бінарна операція | Binární operace | Operazione binaria | Operation binari | 14 |
Q4049983 [CC | ] | No label in ! | 势 (数学) | עוצמה (מתמטיקה) | 집합의 크기 | Võimsus (hulgateooria) | Lực lượng (tập hợp) | Mohutnosť (množina) | Мощность множества | Cardinality | Потужність множини | Mohutnost | 濃度 (数学) | Kardinalitas | کاردینالیتی | 13 |
Q903783 [CC | ] | No label in ! | 朴素集合论 | תורת הקבוצות הנאיבית | 소박한 집합론 | Naiivne hulgateooria | Lý thuyết tập hợp ngây thơ | نظرية المجموعات المبسطة | Naiva aroteorio | Naive set theory | Наївна теорія множин | Naivní teorie množin | 素朴集合論 | Teoria ingenua degli insiemi | نظریه طبیعی مجموعهها | 13 |
Q215382 [CC | ] | No label in ! | Zbiory rozłączne | Ensembles disjoints | 서로소 집합 | Ühisosata hulgad | Ξένα σύνολα | Disjuncte verzamelingen | Sundurlæg mengi | Disjoint sets | Disjunktni množici | Ütidse osalda hulgaq | 素集合 | Himpunan saling lepas | Mulțimi disjuncte | 13 |
Q49008 [CC | ] | No label in ! | Algarv | Số nguyên tố | Priemgetal | Primtal | Primo | Prime number | 素数 | Asal sayı | பகா எண் | Bilangan prima | Număr prim | Rhif cysefin | Número primo | 13 |
Q180907 [CC | ] | No label in ! | 双射 | פונקציה חד-חד-ערכית ועל | 전단사 함수 | Song ánh | Bijektívne zobrazenie | Биекция | Bijection | Бієкція | Bijekce | 全単射 | Bijeksi | تناظر دوسویه | 12 |
Q33401 [CC | ] | No label in ! | 罗素悖论 | הפרדוקס של ראסל | 러셀의 역설 | Nghịch lý Russell | Russellov paradox | Парадокс Рассела | Russell's paradox | Парадокс Расселла | Russellův paradox | ラッセルのパラドックス | Paradosso di Russell | پارادوکس راسل | 12 |
Q21199 [CC | ] | No label in ! | 自然数 | Liczby naturalne | Entier naturel | Naturaalarv | Số tự nhiên | Natural number | จำนวนธรรมชาติ | Натуральне число | Numero naturale | Bilangan asli | Număr natural | 12 |
Q179692 [CC | ] | No label in ! | 选择公理 | אקסיומת הבחירה | 선택 공리 | Tiên đề chọn | Аксиома выбора | Axiom of choice | Аксіома вибору | Axiom výběru | 選択公理 | Assioma della scelta | Aksioma pemilihan | اصل موضوع انتخاب | 12 |
Q185813 [CC | ] | No label in ! | Element neutralny | Ühikelement | Phần tử đơn vị | Нейтральный элемент | Identity element | สมาชิกเอกลักษณ์ | Нейтральний елемент | Nevtralni element | Neutrální prvek | 単位元 | Elementu neutru | Element neutru | 12 |
Q729471 [CC | ] | No label in ! | 對角論證法 | האלכסון של קנטור | 대각선 논법 | Lập luận đường chéo của Cantor | Cantorova diagonálna metóda | Диагональный аргумент | Cantor's diagonal argument | Діагональний метод Кантора | Cantorova diagonální metoda | カントールの対角線論法 | استدلال قطری کانتور | 11 |
Q205140 [CC | ] | No label in ! | Nekonečná množina | 无限集合 | 무한 집합 | Tập hợp vô hạn | Бесконечное множество | Infinite set | Нескінченна множина | अपरिमित समुच्चय | Himpunan takhingga | مجموعه نامتناهی | 11 |
Q191290 [CC | ] | No label in ! | 有序对 | 순서쌍 | Cặp được sắp | 有序對 | Упорядоченная пара | Ordered pair | Впорядкована пара | 順序対 | Coppia (matematica) | Pasangan terurut | زوج مرتب | 11 |
Q76420 [CC | ] | No label in ! | Georg Cantor | 格奥尔格·康托尔 | Georg Ferdinand Cantor | Кантор, Георг | Георг Кантор | ゲオルク・カントール | گئورگ کانتور | 11 |
Q191849 [CC | ] | No label in ! | Axiomas de Zermelo-Fraenkel | 策梅洛-弗兰克尔集合论 | 체르멜로-프렝켈 집합론 | Lý thuyết tập hợp Zermelo–Fraenkel | Система Цермело — Френкеля | Zermelo–Fraenkel set theory | Теорія множин Цермело — Френкеля | Zermelova–Fraenkelova teorie množin | ツェルメロ=フレンケル集合論 | Teoria degli insiemi di Zermelo-Fraenkel | 11 |
Q217594 [CC | ] | No label in ! | 类 (数学) | Classe (mathématiques) | 모임 (집합론) | Lớp (lý thuyết tập hợp) | Класс (математика) | Class (set theory) | Клас (теорія множин) | Třída (matematika) | クラス (集合論) | Kelas (teori himpunan) | کلاس (نظریه مجموعهها) | 11 |
Q208416 [CC | ] | No label in ! | Hypotéza kontinua | 连续统假设 | השערת הרצף | 연속체 가설 | Континуум-гипотеза | Continuum hypothesis | Континуум-гіпотеза | 連続体仮説 | Hipotesis kontinum | فرضیه پیوستار | 11 |
Q187959 [CC | ] | No label in ! | Rozdzielność działania | Distributivité | Disztributivitás | Επιμεριστική ιδιότητα | Дистрибутивность | Distributive property | สมบัติการแจกแจง | Propietat distributiva | Distributivnost | Sifat distributif | Distributividade | 11 |
Q949972 [CC | ] | No label in ! | Ако и само ако | אם ורק אם | Khi và chỉ khi | Se kaj nur se | Eff | If and only if | Ancak ve ancak | Jika dan hanya jika | Dacă și numai dacă | Os ac yn unig os | 11 |
Q163875 [CC | ] | No label in ! | 基数 (数学) | 기수 (수학) | Số đếm | Kardinálne číslo | Cardinal number | Кардинальне число | Kardinální číslo | 基数 | Bilangan kardinal | عدد اصلی | 10 |
Q191780 [CC | ] | No label in ! | 序数 | מספר סודר | 순서수 | Порядковое число | Ordinal number | Порядкове число | Ordinální číslo | 順序数 | Bilangan ordinal | عدد ترتیبی | 10 |
Q41390 [CC | ] | No label in ! | Kurt Gödel | 库尔特·哥德尔 | Гёдель, Курт | Курт Гедель | クルト・ゲーデル | کورت گودل | 10 |
Q76556 [CC | ] | No label in ! | Richard Dedekind | 理查德·戴德金 | Дедекинд, Рихард | Ріхард Дедекінд | リヒャルト・デーデキント | ریچارد ددکیند | 10 |
Q191081 [CC | ] | No label in ! | 논리곱 | Conjunción lógica | Logical conjunction | Кон'юнкція | Konjunkcija (logika) | Конюнкция | 論理積 | Congiunzione logica | Logika konjungsi | عطف منطقی | 10 |
Q1128796 [CC | ] | No label in ! | 不可數集 | קבוצה שאינה בת מנייה | Tập hợp không đếm được | Nespočítateľná množina | Несчётное множество | Uncountable set | Nespočetná množina | 非可算集合 | مجموعه ناشمارا | 9 |
Q33760 [CC | ] | No label in ! | Bertrand Russell | 伯特兰·罗素 | Рассел, Бертран | バートランド・ラッセル | برتراند راسل | 9 |
Q17736 [CC | ] | No label in ! | 公理 | Tiên đề | Axióma | Аксиома | Axiom | Аксіома | Assioma (matematica) | Aksioma | 9 |
Q278770 [CC | ] | No label in ! | 冯诺伊曼-博内斯-哥德尔集合论 | 폰 노이만-베르나이스-괴델 집합론 | Teoría de conjuntos de Von Neumann-Bernays-Gödel | Система аксиом фон Неймана — Бернайса — Гёделя | Von Neumann–Bernays–Gödel set theory | Теорія множин фон Неймана — Бернайса — Геделя | Von Neumannova–Bernaysova–Gödelova teorie množin | フォン・ノイマン=ベルナイス=ゲーデル集合論 | Teoria degli insiemi di Von Neumann-Bernays-Gödel | 9 |
Q474881 [CC | ] | No label in ! | Теорема Кантора | 康托尔定理 | 칸토어의 정리 | Định lý đường chéo Cantor | Cantor's theorem | Cantorova věta | カントールの定理 | قضیه کانتور | 9 |
Q57248 [CC | ] | No label in ! | Ernst Zermelo | 恩斯特·策梅洛 | Цермело, Эрнст | Ернст Цермело | エルンスト・ツェルメロ | ارنست تسرملو | 9 |
Q1361825 [CC | ] | No label in ! | 替代公理 | אקסיומת ההחלפה | Esquema axiomático de reemplazo | Схема преобразования | Axiom schema of replacement | Аксіомна схема підстановки | Schéma nahrazení | 置換公理 | اصول موضوع جایگزینی | 9 |
Q1055058 [CC | ] | No label in ! | 模糊集 | Tập mờ | Neostrá množina | Нечёткое множество | Fuzzy set | Нечітка множина | Fuzzy množina | Himpunan kabur | مجموعههای فازی | 9 |
Q565 [CC | ] | No label in ! | Wikimedia Commons | ויקישיתוף | ويكيميديا كومنز | Ризница (Викимедија) | 9 |
Q17455 [CC | ] | No label in ! | John von Neumann | Нейман, Джон фон | Джон фон Нейман | ジョン・フォン・ノイマン | جان فون نویمان | 9 |
Q61043 [CC | ] | No label in ! | Abraham Fraenkel | 亚伯拉罕·弗兰克尔 | Adolf Fraenkel | Френкель, Абрахам | Абрахам Френкель | アドルフ・フレンケル | آبراهام فرنکل | 8 |
Q671944 [CC | ] | No label in ! | 传递集合 | 추이적 집합 | Транзитивное множество | Transitive set | Транзитивна множина | Tranzitivní třída | 推移的集合 | مجموعه متعدی (نظریه مجموعهها) | 8 |
Q216809 [CC | ] | No label in ! | Paul Cohen | 保罗·寇恩 | Paul Cohen (matematik) | Коэн, Пол Джозеф | Пол Джозеф Коен | ポール・コーエン (数学者) | پل کوهن (ریاضیدان) | 8 |
Q1000116 [CC | ] | No label in ! | 可数选择公理 | 가산 선택 공리 | Аксиома счётного выбора | Axiom of countable choice | Аксіома зліченного вибору | Axiom spočetného výběru | 可算選択公理 | اصل انتخاب شمارا | 8 |
Q66707394 [CC | ] | No label in ! | 可數集 | קבוצה בת מנייה | 가산 집합 | Tập hợp đếm được | Spočítateľná množina | Countable set | Spočetná množina | مجموعه شمارا | 8 |
Q740424 [CC | ] | No label in ! | 外延公理 | אקסיומת ההיקפיות | Axioma da extensão | Аксиома объёмности | Axiom of extensionality | Аксіома об'ємності | 外延性の公理 | Aksioma perluasan | 8 |
Q214969 [CC | ] | No label in ! | Willard Van Orman Quine | 威拉德·范·奥曼·蒯因 | Куайн, Уиллард Ван Орман | Віллард Ван Орман Квайн | ویلارد کواین | 8 |
Q1077811 [CC | ] | No label in ! | 幂集公理 | אקסיומת קבוצת החזקה | 멱집합 공리 | Аксиома степени | Axiom of power set | Аксіома булеана | 冪集合公理 | اصل موضوع مجموعه توانی | 8 |
Q1987722 [CC | ] | No label in ! | 并集公理 | אקסיומת האיחוד | Axioma da união | Аксиома объединения | Axiom of union | Аксіома об'єднання | 和集合の公理 | اصل موضوع اجتماع | 8 |
Q920450 [CC | ] | No label in ! | 无穷公理 | אקסיומת הקבוצה האינסופית | 무한 공리 | Аксиома бесконечности | Axiom of infinity | Аксіома нескінченності | 無限公理 | اصل موضوع بینهایت | 8 |
Q36578 [CC | ] | No label in ! | Gemeinsame Normdatei | קובץ בקרה משולב | Tümleşik Otorite Dosyası | Обединета нормативна податотека | 8 |
Q368988 [CC | ] | No label in ! | Idempotencia | Idempotence | Idempotentność | Idempotentsus | Идемпотентность | Ідемпотентність | 8 |
Q1165112 [CC | ] | No label in ! | Singleton (mathématiques) | יחידון | 한원소 집합 | Đơn điểm (toán học) | Синглетон (математика) | Singleton (mathematics) | 単集合 | مجموعه تکعضوی | 8 |
Q1378301 [CC | ] | No label in ! | Універсальнае мноства | Универсальное множество | Universal set | Універсальна множина | Унівэрсальнае мноства | Insieme universo | Himpunan semesta | مجموعه جهانی | 8 |
Q3303153 [CC | ] | No label in ! | 依賴選擇公理 | 의존적 선택 공리 | Аксиома зависимого выбора | Axiom of dependent choice | Аксіома залежного вибору | Axiom závislého výběru | 従属選択公理 | 7 |
Q904423 [CC | ] | No label in ! | 公理化集合论 | תורת הקבוצות האקסיומטית | Аксиоматическая теория множеств | Аксіоматика теорії множин | Axiomatická teorie množin | 公理的集合論 | Teoria assiomatica degli insiemi | 7 |
Q780487 [CC | ] | No label in ! | 分类公理 | Axioma da separação | Схема выделения | Axiom schema of specification | Аксіомна схема виділення | 分出公理 | اصل موضوع تصریح | 7 |
Q163335 [CC | ] | No label in ! | Principia Mathematica | 数学原理 | 수학 원리 | مبادی ریاضیات | 7 |
Q840810 [CC | ] | No label in ! | 超限归纳法 | Quy nạp siêu hạn | Трансфинитная индукция | Transfinite induction | Трансфінітна індукція | Transfinitní indukce | استقرای ترامتناهی | 7 |
Q11348 [CC | ] | No label in ! | Funkcja | פונקציה | 함수 | دالة | 映射 | Функция (математика) | Function (mathematics) | 7 |
Q230967 [CC | ] | No label in ! | Parzystość liczb | Jämna och udda tal | Pareco de nombroj | Sudá a lichá čísla | Numeri pari e dispari | Paredd (mathemateg) | Paridade (matemáticas) | 7 |
Q10565797 [CC | ] | No label in ! | Algèbre des parties d'un ensemble | Álgebra de conjuntos | Đại số tập hợp | Algebra of sets | Алгебра множин | 集合の代数学 | Aljabar himpunan | 7 |
Q33057 [CC | ] | No label in ! | ISBN | Διεθνής πρότυπος αριθμός βιβλίου | பன்னாட்டுத் தரப்புத்தக எண் | International Standard Book Number | 7 |
Q1548262 [CC | ] | No label in ! | 大基数 | 큰 기수 | Large cardinal | Великі кардинальні числа | Velké kardinály | 巨大基数 | 6 |
Q21285678 [CC | ] | No label in ! | 指标集 | Tập chỉ số | Index set | Індексна множина | 添字集合 | Himpunan indeks | 6 |
Q470981 [CC | ] | No label in ! | 正则性公理 | אקסיומת היסוד | Аксиома регулярности | Axiom of regularity | Аксіома регулярності | 正則性公理 | 6 |
Q920796 [CC | ] | No label in ! | 配对公理 | Аксиома пары | Axiom of pairing | Аксіома пари | 対の公理 | اصل موضوع زوجسازی | 6 |
Q739925 [CC | ] | No label in ! | 集合族 | Rodzina zbiorów | Familia de conjuntos | Family of sets | Сімейство множин | 6 |
Q1010269 [CC | ] | No label in ! | 부랄리포르티 역설 | Buraliho-Fortiho paradox | Парадокс Бурали-Форти | Burali-Forti paradox | Paradosso di Burali-Forti | پارادوکس بورالی-فورتی | 6 |
Q1860 [CC | ] | No label in ! | 영어 | اللغة الإنجليزية | ภาษาอังกฤษ | 英語 | Lingua anglese | Wikang Ingles | 6 |
Q8216 [CC | ] | No label in ! | ألفبائية يونانية | Greek alphabet | Yunan alfabesi | கிரேக்க எழுத்துக்கள் | Alfabet Yunani | Alfabetul grec | 6 |
Q622185 [CC | ] | No label in ! | 馬丁公理 | 마틴 공리 | Аксиома Мартина | Martin's axiom | Аксіома Мартіна | 5 |
Q3884033 [CC | ] | No label in ! | Eragiketa (matematika) | Operatie (wiskunde) | Operation (mathematics) | การดำเนินการ (คณิตศาสตร์) | Operació matemàtica | 5 |
Q118455746 [CC | ] | No label in ! | Kontrola autorytatywna | Control de autoridades | Autoritní kontrola | Otorite kontrolü | Нормативна контрола | 5 |
Q842620 [CC | ] | No label in ! | Suma rozłączna | Дизъюнктное объединение | Disjoint union | 非交和 | اجتماع مجزا | 5 |
Q597663 [CC | ] | No label in ! | Uniwersum (matematyka) | Základná množina | Universe (mathematics) | Univerzalna množica | Univerzální množina | 5 |
Q719112 [CC | ] | No label in ! | MathWorld | 5 |
Q122318 [CC | ] | No label in ! | Paul Bernays | Isaak Paul Bernays | Бернайс, Пауль | پل برنایز | 5 |
Q792536 [CC | ] | No label in ! | 公理模式 | Схема аксиом | Axiom schema | Аксіомна схема | 4 |
Q1003136 [CC | ] | No label in ! | 力迫 | 강제법 | Forcing (mathematics) | Forsing | 4 |
Q681771 [CC | ] | No label in ! | 可替代的集合论 | Alternatívna teória množín | Alternativní teorie množin | نظریه مجموعه جایگزین | 4 |
Q600590 [CC | ] | No label in ! | 多元组 | Tuple | 順序組 | Rangkap | 4 |
Q649337 [CC | ] | No label in ! | 新基础集合论 | 새 기초 | New Foundations | 新基礎集合論 | 4 |
Q191853 [CC | ] | No label in ! | 策梅洛集合论 | Zermelo set theory | Теорія множин Цермело | Teoria degli insiemi di Zermelo | 4 |
Q2296408 [CC | ] | No label in ! | 蘇斯林問題 | 수슬린 가설 | Suslin's problem | Suslinova hypotéza | 4 |
Q877945 [CC | ] | No label in ! | 递归集合 | Разрешимое множество | Computable set | مجموعه بازگشتی | 4 |
Q595364 [CC | ] | No label in ! | Krata (matematyka) | Treillis (ensemble ordonné) | 束 (束論) | Kekisi (tatanan) | 4 |
Q860623 [CC | ] | No label in ! | Obraz (matematyka) | 상 (수학) | Image (mathematics) | 像 (数学) | 4 |
Q244761 [CC | ] | No label in ! | Composition de fonctions | 함수의 합성 | 写像の合成 | ترکیب تابع | 4 |
Q856215 [CC | ] | No label in ! | Famille (mathématiques) | Halmazrendszer | 族 (數學) | 族 (数学) | 4 |
Q290810 [CC | ] | No label in ! | הלמה של צורן | 초른 보조정리 | ツォルンの補題 | Lemma di Zorn | 4 |
Q130998 [CC | ] | No label in ! | יחס שקילות | 等價 | Equivalence relation | 同値関係 | 4 |
Q182003 [CC | ] | No label in ! | פונקציה חד-חד-ערכית | 단사 함수 | Injective function | 単射 | 4 |
Q229102 [CC | ] | No label in ! | פונקציה על | 전사 함수 | Surjective function | 全射 | 4 |
Q2777107 [CC | ] | No label in ! | 구성 가능 전체 | Конструктивный универсум | Constructible universe | Konstruovatelná množina | 4 |
Q1055293 [CC | ] | No label in ! | 배수 | Múltiplo | Multiple (mathematics) | Multiplu | 4 |
Q4344872 [CC | ] | No label in ! | Парадоксы теории множеств | Paradoxes of set theory | Парадокси теорії множин | Paradoxy naivní teorie množin | 4 |
Q5737811 [CC | ] | No label in ! | 继承有限集合 | Hereditarily finite set | 遺伝的有限集合 | 3 |
Q2013 [CC | ] | No label in ! | Wikidata | 3 |
Q4973304 [CC | ] | No label in ! | Algebra Boole’a | Algèbre de Boole (structure) | ブール代数 | 3 |
Q50708 [CC | ] | No label in ! | Dzielnik | Chia hết | Divisore | 3 |
Q181296 [CC | ] | No label in ! | Grupa przemienna | Абелева група | Grupu abelianu | 3 |
Q1244890 [CC | ] | No label in ! | Liczby wymierne | 유리수 | Numero razionale | 3 |
Q203066 [CC | ] | No label in ! | Relacja (matematyka) | 關係 (數學) | Finitary relation | 3 |
Q381060 [CC | ] | No label in ! | Rozbicie zbioru | Partition of a set | 集合の分割 | 3 |
Q14806642 [CC | ] | No label in ! | Różnica zbiorów | Rozdiel množín | Rozdíl množin | 3 |
Q32043 [CC | ] | No label in ! | Addition | Phép cộng | جمع (ریاضی) | 3 |
Q620006 [CC | ] | No label in ! | טיפוס סדר | Порядковый тип | 順序型 | 3 |
Q1033910 [CC | ] | No label in ! | משפט קנטור-שרדר-ברנשטיין | Schröder–Bernstein theorem | ベルンシュタインの定理 | 3 |
Q4830558 [CC | ] | No label in ! | 결정 집합 | Аксиома детерминированности | Axiom of determinacy | 3 |
Q199006 [CC | ] | No label in ! | 공역 | Codomain | 終域 | 3 |
Q1331373 [CC | ] | No label in ! | 도달 불가능한 기수 | Inaccessible cardinal | 到達不能基数 | 3 |
Q192439 [CC | ] | No label in ! | 정의역 | Domain of a function | 定義域 | 3 |
Q13366129 [CC | ] | No label in ! | Paaritu arv | Oddetall | 奇数 | 3 |
Q209555 [CC | ] | No label in ! | Tautoloogia | Tautology (logic) | Tautologi (logika) | 3 |
Q168550 [CC | ] | No label in ! | Eric W. Weisstein | 3 |
Q1812172 [CC | ] | No label in ! | Tích rỗng | Empty product | 空積 | 3 |
Q845126 [CC | ] | No label in ! | Verschil (verzamelingenleer) | Mengdedifferanse | Joukkoerotus | 3 |
Q187846 [CC | ] | No label in ! | أبجدية روسية | Rus alfabesi | Alfabetul rus | 3 |
Q180159 [CC | ] | No label in ! | قائمة الرموز الرياضية | Tabel de simboluri matematice | Símbolos matemáticos | 3 |
Q548080 [CC | ] | No label in ! | Скулем, Туральф | Thoralf Skolem | تورالف اسکولم | 3 |
Q185478 [CC | ] | No label in ! | Счётное множество | Зліченна множина | 可算集合 | 3 |
Q3352804 [CC | ] | No label in ! | Форма записи множества | Set-builder notation | Notasi ungkapan himpunan | 3 |
Q6094393 [CC | ] | No label in ! | Iterated binary operation | การดำเนินการทวิภาควนซ้ำ | Operasi biner teriterasi | 3 |
Q3490369 [CC | ] | No label in ! | Morse–Kelley set theory | Kelleyova–Morseova teorie množin | モース-ケリー集合論 | 3 |
Q77887 [CC | ] | No label in ! | Von Neumann universe | Універсум фон Неймана | フォン・ノイマン宇宙 | 3 |
Q6641390 [CC | ] | No label in ! | ZFC系統無法確定的命題列表 | List of statements independent of ZFC | 2 |
Q4055684 [CC | ] | No label in ! | 一阶逻辑 | First-order logic | 2 |
Q924992 [CC | ] | No label in ! | 托马什·耶赫 | Thomas Jech | 2 |
Q187420 [CC | ] | No label in ! | Element absorbujący | Elemento absorbente | 2 |
Q731361 [CC | ] | No label in ! | Enciclopedia Treccani | 2 |
Q161846 [CC | ] | No label in ! | Kazimierz Kuratowski | Казимир Куратовський | 2 |
Q12503 [CC | ] | No label in ! | Liczby całkowite | Numero intero | 2 |
Q2064647 [CC | ] | No label in ! | Pierścień zbiorów | 集合環 | 2 |
Q217357 [CC | ] | No label in ! | Przestrzeń mierzalna | Sigma-algebră | 2 |
Q164 [CC | ] | No label in ! | Carré | Kvadrat | 2 |
Q17278 [CC | ] | No label in ! | Cercle | Bilog | 2 |
Q209875 [CC | ] | No label in ! | Coefficient binomial | ضریب دوجملهای | 2 |
Q211790 [CC | ] | No label in ! | Connecteur logique | Logical connective | 2 |
Q1052775 [CC | ] | No label in ! | Crochet de Poisson | کروشه پواسون | 2 |
Q1226939 [CC | ] | No label in ! | Division | تقسیم | 2 |
Q498186 [CC | ] | No label in ! | Fonction OU exclusif | یای انحصاری | 2 |
Q182598 [CC | ] | No label in ! | Graphe d'une fonction | グラフ (関数) | 2 |
Q8087 [CC | ] | No label in ! | Géométrie | Heometriya | 2 |
Q7881229 [CC | ] | No label in ! | Implication (logique) | Material conditional | 2 |
Q1180277 [CC | ] | No label in ! | Intersection | Перетин (значення) | 2 |
Q1364910 [CC | ] | No label in ! | Intersection (géométrie) | חיתוך (גאומטריה) | 2 |
Q40276 [CC | ] | No label in ! | Multiplication | ضرب (ریاضی) | 2 |
Q131752 [CC | ] | No label in ! | Plus grand commun diviseur | بزرگترین مقسومعلیه مشترک | 2 |
Q102761 [CC | ] | No label in ! | Plus petit commun multiple | کوچکترین مضرب مشترک | 2 |
Q178192 [CC | ] | No label in ! | Produit vectoriel | ضرب خارجی | 2 |
Q209 [CC | ] | No label in ! | Rectangle | Rektangel | 2 |
Q846677 [CC | ] | No label in ! | Reste | باقیمانده | 2 |
Q40754 [CC | ] | No label in ! | Soustraction | تفریق | 2 |
Q735660 [CC | ] | No label in ! | Système d'équations | Sistema di equazioni | 2 |
Q220433 [CC | ] | No label in ! | Équivalence logique | Logical equivalence | 2 |
Q130901 [CC | ] | No label in ! | יחס (תורת הקבוצות) | 二項関係 | 2 |
Q583760 [CC | ] | No label in ! | יחס אנטי-סימטרי | 反対称関係 | 2 |
Q1248241 [CC | ] | No label in ! | יחס הופכי | 逆関係 | 2 |
Q64861 [CC | ] | No label in ! | יחס טרנזיטיבי | 推移関係 | 2 |
Q621461 [CC | ] | No label in ! | יחס סימטרי | 対称関係 | 2 |
Q621850 [CC | ] | No label in ! | יחס רפלקסיבי | 反射関係 | 2 |
Q474715 [CC | ] | No label in ! | סדר חלקי | 偏序 | 2 |
Q659746 [CC | ] | No label in ! | סדר טוב | 정렬 순서 | 2 |
Q369377 [CC | ] | No label in ! | סדר מלא | 全順序 | 2 |
Q22952648 [CC | ] | No label in ! | עוצמת הרצף | 連続体濃度 | 2 |
Q1964995 [CC | ] | No label in ! | Аперацыі над мноствамі | Операции над множествами | 2 |
Q1283623 [CC | ] | No label in ! | 공종도 | 共終数 | 2 |
Q467606 [CC | ] | No label in ! | 모형 이론 | Model theory | 2 |
Q737851 [CC | ] | No label in ! | 바나흐-타르스키 역설 | Banach–Tarski paradox | 2 |
Q908627 [CC | ] | No label in ! | 알레프 수 | Aleph number | 2 |
Q191884 [CC | ] | No label in ! | 역함수 | 逆写像 | 2 |
Q1056428 [CC | ] | No label in ! | 유형 이론 | Type theory | 2 |
Q371983 [CC | ] | No label in ! | 지시 함수 | 指示関数 | 2 |
Q1806121 [CC | ] | No label in ! | 치역 | 値域 | 2 |
Q379078 [CC | ] | No label in ! | 칸토어 역설 | Cantor's paradox | 2 |
Q321119 [CC | ] | No label in ! | 항등 함수 | 恒等写像 | 2 |
Q33456 [CC | ] | No label in ! | Potenciación | توان (ریاضی) | 2 |
Q8209 [CC | ] | No label in ! | Chữ Kirin | Cyrillic script | 2 |
Q126695 [CC | ] | No label in ! | Lượng từ với mọi | Universal quantification | 2 |
Q235028 [CC | ] | No label in ! | Tập hợp | Жиын | 2 |
Q845080 [CC | ] | No label in ! | Doorsnede (meetkunde) | Sekco | 2 |
Q179976 [CC | ] | No label in ! | Recursie | Recursion | 2 |
Q180750 [CC | ] | No label in ! | Elemento | Элемент | 2 |
Q1888019 [CC | ] | No label in ! | Petr Vopěnka | 2 |
Q1896657 [CC | ] | No label in ! | Урэлемент | Urelement | 2 |
Q18205396 [CC | ] | No label in ! | Axiom of adjunction | Аксіома приєднання | 2 |
Q173183 [CC | ] | No label in ! | Boolean algebra | Algebra di Boole | 2 |
Q5532389 [CC | ] | No label in ! | General set theory | Загальна теорія множин | 2 |
Q3113164 [CC | ] | No label in ! | Graduate Texts in Mathematics | 2 |
Q374182 [CC | ] | No label in ! | Logical consequence | استلزام | 2 |
Q1651704 [CC | ] | No label in ! | Logical disjunction | فصل منطقی | 2 |
Q370502 [CC | ] | No label in ! | Map (mathematics) | 写像 | 2 |
Q842755 [CC | ] | No label in ! | Peano axioms | Assiomi di Peano | 2 |
Q1096079 [CC | ] | No label in ! | Vacuous truth | 空虚な真 | 2 |
Q13366104 [CC | ] | No label in ! | Partall | 偶数 | 2 |
Q92767 [CC | ] | No label in ! | Лотфі Заде | Lotfi Zadeh | 2 |
Q191029 [CC | ] | No label in ! | ジュゼッペ・ペアノ | Giuseppe Peano | 2 |
Q12916 [CC | ] | No label in ! | 実数 | Numero reale | 2 |
Q754673 [CC | ] | No label in ! | ஆங்கில நெடுங்கணக்கு | Alfabetul limbii engleze | 2 |
Q1321 [CC | ] | No label in ! | Lingua espaniol | Wikang Kastila | 2 |
Q218005 [CC | ] | No label in ! | 求和符号 | 1 |
Q15085 [CC | ] | No label in ! | Lenga piemontèisa | 1 |
Q12256458 [CC | ] | No label in ! | Ebaketa (probabilitatea) | 1 |
Q205464 [CC | ] | No label in ! | Algebra ogólna | 1 |
Q208448 [CC | ] | No label in ! | Augustus De Morgan | 1 |
Q246506 [CC | ] | No label in ! | Ciało zbiorów | 1 |
Q10361123 [CC | ] | No label in ! | Dychotomia | 1 |
Q3854337 [CC | ] | No label in ! | Działanie algebraiczne | 1 |
Q657596 [CC | ] | No label in ! | Działanie jednoargumentowe | 1 |
Q4041526 [CC | ] | No label in ! | Encyklopedia PWN (internetowa) | 1 |
Q615699 [CC | ] | No label in ! | Encyklopedia internetowa | 1 |
Q1052692 [CC | ] | No label in ! | Filtr (matematyka) | 1 |
Q134661 [CC | ] | No label in ! | George Boole | 1 |
Q679903 [CC | ] | No label in ! | Grupoid | 1 |
Q455501 [CC | ] | No label in ! | Helena Rasiowa | 1 |
Q1656686 [CC | ] | No label in ! | Ideał (teoria mnogości) | 1 |
Q216811 [CC | ] | No label in ! | John Venn | 1 |
Q208237 [CC | ] | No label in ! | Monoid | 1 |
Q901 [CC | ] | No label in ! | Naukowiec | 1 |
Q190593 [CC | ] | No label in ! | Online Computer Library Center | 1 |
Q4177774 [CC | ] | No label in ! | Pas (teoria półgrup) | 1 |
Q161172 [CC | ] | No label in ! | Pierścień (matematyka) | 1 |
Q331481 [CC | ] | No label in ! | Pokrycie zbioru | 1 |
Q5637899 [CC | ] | No label in ! | Przeciwobraz | 1 |
Q185148 [CC | ] | No label in ! | Przedział (matematyka) | 1 |
Q179899 [CC | ] | No label in ! | Przestrzeń topologiczna | 1 |
Q207348 [CC | ] | No label in ! | Półgrupa | 1 |
Q1333055 [CC | ] | No label in ! | Półpierścień | 1 |
Q1428376 [CC | ] | No label in ! | Wydawnictwo Naukowe PWN | 1 |
Q1935689 [CC | ] | No label in ! | Λ-układ | 1 |
Q3962249 [CC | ] | No label in ! | Π-układ | 1 |
Q3123369 [CC | ] | No label in ! | Σ-pierścień | 1 |
Q854531 [CC | ] | No label in ! | Analyse réelle | 1 |
Q1401935 [CC | ] | No label in ! | Arrangement | 1 |
Q1781358 [CC | ] | No label in ! | Bouquet (mathématiques) | 1 |
Q126002 [CC | ] | No label in ! | Concaténation | 1 |
Q91911596 [CC | ] | No label in ! | Crochet de Lie | 1 |
Q3388699 [CC | ] | No label in ! | Cup-produit | 1 |
Q30726838 [CC | ] | No label in ! | Diagrammes d'Euler, de Venn et de Carroll | 1 |
Q181054 [CC | ] | No label in ! | Division euclidienne | 1 |
Q37105 [CC | ] | No label in ! | Droite (mathématiques) | 1 |
Q3039890 [CC | ] | No label in ! | Droites parallèles | 1 |
Q178546 [CC | ] | No label in ! | Déterminant (mathématiques) | 1 |
Q845060 [CC | ] | No label in ! | Extremum | 1 |
Q1384902 [CC | ] | No label in ! | Foncteur Ext | 1 |
Q5887297 [CC | ] | No label in ! | Foncteur Hom | 1 |
Q988381 [CC | ] | No label in ! | Foncteur Tor | 1 |
Q560370 [CC | ] | No label in ! | Fonction ET | 1 |
Q560398 [CC | ] | No label in ! | Fonction OU | 1 |
Q134787 [CC | ] | No label in ! | Géométrie analytique | 1 |
Q208216 [CC | ] | No label in ! | Inégalité triangulaire | 1 |
Q3183033 [CC | ] | No label in ! | Joint (mathématiques) | 1 |
Q41159 [CC | ] | No label in ! | Losange | 1 |
Q719375 [CC | ] | No label in ! | Opérande | 1 |
Q3354916 [CC | ] | No label in ! | Opération ensembliste | 1 |
Q4688946 [CC | ] | No label in ! | Plan affine | 1 |
Q44946 [CC | ] | No label in ! | Point (géométrie) | 1 |
Q3399665 [CC | ] | No label in ! | Position relative | 1 |
Q210857 [CC | ] | No label in ! | Produit de convolution | 1 |
Q1786640 [CC | ] | No label in ! | Produit en couronne | 1 |
Q13408581 [CC | ] | No label in ! | Produit extérieur | 1 |
Q1454165 [CC | ] | No label in ! | Produit libre | 1 |
Q181365 [CC | ] | No label in ! | Produit scalaire | 1 |
Q1163016 [CC | ] | No label in ! | Produit tensoriel | 1 |
Q3406765 [CC | ] | No label in ! | Produit vectoriel en dimension 7 | 1 |
Q6578721 [CC | ] | No label in ! | Puissance d'un nombre | 1 |
Q36810 [CC | ] | No label in ! | Quadrilatère | 1 |
Q173817 [CC | ] | No label in ! | Rayon (géométrie) | 1 |
Q2295009 [CC | ] | No label in ! | Smash-produit | 1 |
Q1890389 [CC | ] | No label in ! | Somme connexe | 1 |
Q1142861 [CC | ] | No label in ! | Somme directe | 1 |
Q131251 [CC | ] | No label in ! | Tangente (géométrie) | 1 |
Q11345 [CC | ] | No label in ! | Équation | 1 |
Q1457052 [CC | ] | No label in ! | משפט הסדר הטוב | 1 |
Q1033906 [CC | ] | No label in ! | פונקציית זיווג | 1 |
Q589250 [CC | ] | No label in ! | 가능 공종도 | 1 |
Q925445 [CC | ] | No label in ! | 가측 기수 | 1 |
Q7624677 [CC | ] | No label in ! | 강콤팩트 기수 | 1 |
Q1771501 [CC | ] | No label in ! | 극한 기수 | 1 |
Q3511204 [CC | ] | No label in ! | 기멜 함수 | 1 |
Q629085 [CC | ] | No label in ! | 다가 함수 | 1 |
Q607728 [CC | ] | No label in ! | 무리수 | 1 |
Q831092 [CC | ] | No label in ! | 베트 수 | 1 |
Q746264 [CC | ] | No label in ! | 상수 함수 | 1 |
Q384699 [CC | ] | No label in ! | 순서수 정의 가능 집합 | 1 |
Q869647 [CC | ] | No label in ! | 슈필라인 확장정리 | 1 |
Q2905392 [CC | ] | No label in ! | 약콤팩트 기수 | 1 |
Q7051810 [CC | ] | No label in ! | 정규 함수 | 1 |
Q7643154 [CC | ] | No label in ! | 초콤팩트 기수 | 1 |
Q18353968 [CC | ] | No label in ! | 추이적 모형 | 1 |
Q1077462 [CC | ] | No label in ! | 쾨니그의 정리 (집합론) | 1 |
Q2289367 [CC | ] | No label in ! | 특이 기수 가설 | 1 |
Q1137014 [CC | ] | No label in ! | 티호노프 정리 | 1 |
Q875267 [CC | ] | No label in ! | 필요충분조건 | 1 |
Q1186007 [CC | ] | No label in ! | 하르톡스 수 | 1 |
Q2905020 [CC | ] | No label in ! | 화이트헤드 문제 | 1 |
Q111124 [CC | ] | No label in ! | Cuadrado (álgebra) | 1 |
Q1027788 [CC | ] | No label in ! | Argument (matemaatika) | 1 |
Q25495944 [CC | ] | No label in ! | Binaarne algebraline tehe | 1 |
Q25500110 [CC | ] | No label in ! | Universaalhulk | 1 |
Q10761467 [CC | ] | No label in ! | Giao (định hướng) | 1 |
Q10769120 [CC | ] | No label in ! | Hoàng Xuân Sính | 1 |
Q937946 [CC | ] | No label in ! | Lichaam (meetkunde) | 1 |
Q655288 [CC | ] | No label in ! | انتماء | 1 |
Q7754 [CC | ] | No label in ! | تحليل رياضي | 1 |
Q41795974 [CC | ] | No label in ! | تقاطع (توضيح) | 1 |
Q11344 [CC | ] | No label in ! | عنصر كيميائي | 1 |
Q10472392 [CC | ] | No label in ! | Differens | 1 |
Q428388 [CC | ] | No label in ! | Liksidig | 1 |
Q12718485 [CC | ] | No label in ! | Snitt (olika betydelser) | 1 |
Q32789 [CC | ] | No label in ! | Zebror | 1 |
Q1113432 [CC | ] | No label in ! | Acordo Ortográfico de 1990 | 1 |
Q10302887 [CC | ] | No label in ! | Instituto de Linguística Teórica e Computacional | 1 |
Q483372 [CC | ] | No label in ! | Paradoxo | 1 |
Q10351757 [CC | ] | No label in ! | Portal da Língua Portuguesa | 1 |
Q750553 [CC | ] | No label in ! | Português brasileiro | 1 |
Q922399 [CC | ] | No label in ! | Português europeu | 1 |
Q10693 [CC | ] | No label in ! | Tabela periódica | 1 |
Q1140046 [CC | ] | No label in ! | Matematika notacio | 1 |
Q11563 [CC | ] | No label in ! | Nombro | 1 |
Q4199550 [CC | ] | No label in ! | Ильин, Владимир Александрович (математик) | 1 |
Q1367880 [CC | ] | No label in ! | Кортеж | 1 |
Q1477744 [CC | ] | No label in ! | Неупорядоченная пара | 1 |
Q2622956 [CC | ] | No label in ! | Садовничий, Виктор Антонович | 1 |
Q4416121 [CC | ] | No label in ! | Сендов, Благовест | 1 |
Q125052756 [CC | ] | No label in ! | Схема свёртывания | 1 |
Q372026 [CC | ] | No label in ! | Тихонов, Андрей Николаевич | 1 |
Q648266 [CC | ] | No label in ! | Wayback Machine | 1 |
Q3711 [CC | ] | No label in ! | Београд | 1 |
Q1289605 [CC | ] | No label in ! | Ијекавски изговор | 1 |
Q6591103 [CC | ] | No label in ! | Математички факултет Универзитета у Београду | 1 |
Q12757821 [CC | ] | No label in ! | Пресек | 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 |
Q186619 [CC | ] | No label in ! | Argument | 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 |
Q792542 [CC | ] | No label in ! | Axiomatic system | 1 |
Q4943350 [CC | ] | No label in ! | Boolean algebras canonically defined | 1 |
Q942353 [CC | ] | No label in ! | Boolean function | 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 |
Q309157 [CC | ] | No label in ! | Church–Turing thesis | 1 |
Q236975 [CC | ] | No label in ! | Classical logic | 1 |
Q1149458 [CC | ] | No label in ! | Compactness theorem | 1 |
Q3508260 [CC | ] | No label in ! | Complete theory | 1 |
Q818930 [CC | ] | No label in ! | Computability theory | 1 |
Q1148456 [CC | ] | No label in ! | Computable function | 1 |
Q676835 [CC | ] | No label in ! | Computably enumerable set | 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 |
Q3262192 [CC | ] | No label in ! | Decision problem | 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 |
Q2704791 [CC | ] | No label in ! | Enumeration | 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 |
Q965432 [CC | ] | No label in ! | Extensionality | 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 |
Q192161 [CC | ] | No label in ! | Formal language | 1 |
Q2762418 [CC | ] | No label in ! | Formal proof | 1 |
Q649732 [CC | ] | No label in ! | Formal system | 1 |
Q3005945 [CC | ] | No label in ! | Formation rule | 1 |
Q5474574 [CC | ] | No label in ! | Foundations of geometry | 1 |
Q833585 [CC | ] | No label in ! | Foundations of mathematics | 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 |
Q2705017 [CC | ] | No label in ! | Independence (mathematical logic) | 1 |
Q408386 [CC | ] | No label in ! | Inference | 1 |
Q2266843 [CC | ] | No label in ! | Infinite product | 1 |
Q55614449 [CC | ] | No label in ! | Infinite-valued logic | 1 |
Q985058 [CC | ] | No label in ! | Infix notation | 1 |
Q131222 [CC | ] | No label in ! | Information theory | 1 |
Q6033616 [CC | ] | No label in ! | Inhabited set | 1 |
Q523607 [CC | ] | No label in ! | Interpretation (logic) | 1 |
Q17101792 [CC | ] | No label in ! | Interpretation (model theory) | 1 |
Q3498041 [CC | ] | No label in ! | Intersection graph | 1 |
Q15176852 [CC | ] | No label in ! | Intersection theory | 1 |
Q189112 [CC | ] | No label in ! | Isomorphism | 1 |
Q3710524 [CC | ] | No label in ! | James Munkres | 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 |
Q8229 [CC | ] | No label in ! | Latin script | 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 |
Q1782658 [CC | ] | No label in ! | Logical constant | 1 |
Q3308477 [CC | ] | No label in ! | Logical equality | 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 |
Q1166618 [CC | ] | No label in ! | Mathematical logic | 1 |
Q246672 [CC | ] | No label in ! | Mathematical object | 1 |
Q193983 [CC | ] | No label in ! | Metalanguage | 1 |
Q11091745 [CC | ] | No label in ! | MinHash | 1 |
Q4059939 [CC | ] | No label in ! | Minimal axioms for Boolean algebra | 1 |
Q6888319 [CC | ] | No label in ! | Model complete theory | 1 |
Q6897882 [CC | ] | No label in ! | Monadic predicate calculus | 1 |
Q26899137 [CC | ] | No label in ! | Monadic second-order logic | 1 |
Q628036 [CC | ] | No label in ! | NP (complexity) | 1 |
Q1572108 [CC | ] | No label in ! | Natural deduction | 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 |
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 |
Q180536 [CC | ] | No label in ! | Philosophy of mathematics | 1 |
Q1144319 [CC | ] | No label in ! | Predicate (mathematical logic) | 1 |
Q35148 [CC | ] | No label in ! | Predicate logic | 1 |
Q10531432 [CC | ] | No label in ! | Predicate variable | 1 |
Q7243580 [CC | ] | No label in ! | Primitive recursive arithmetic | 1 |
Q1570472 [CC | ] | No label in ! | Primitive recursive function | 1 |
Q17163436 [CC | ] | No label in ! | Proof of impossibility | 1 |
Q852732 [CC | ] | No label in ! | Proof theory | 1 |
Q108163 [CC | ] | No label in ! | Proposition | 1 |
Q200694 [CC | ] | No label in ! | Propositional calculus | 1 |
Q1372900 [CC | ] | No label in ! | Propositional formula | 1 |
Q3492863 [CC | ] | No label in ! | Propositional variable | 1 |
Q592911 [CC | ] | No label in ! | Quantifier (logic) | 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 |
Q24809975 [CC | ] | No label in ! | Robert Megginson | 1 |
Q928884 [CC | ] | No label in ! | Robinson arithmetic | 1 |
Q1068763 [CC | ] | No label in ! | Rule of inference | 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 |
Q1548746 [CC | ] | No label in ! | Second-order logic | 1 |
Q7448234 [CC | ] | No label in ! | Self-verifying theories | 1 |
Q7449101 [CC | ] | No label in ! | Semantic theory of truth | 1 |
Q963731 [CC | ] | No label in ! | Semantics of logic | 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 |
Q2749902 [CC | ] | No label in ! | Square of opposition | 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 |
Q107342 [CC | ] | No label in ! | Syllogism | 1 |
Q2372244 [CC | ] | No label in ! | Symbol (formal) | 1 |
Q2395230 [CC | ] | No label in ! | Syntax (logic) | 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 |
Q1318370 [CC | ] | No label in ! | Term (logic) | 1 |
Q237125 [CC | ] | No label in ! | Term logic | 1 |
Q65943 [CC | ] | No label in ! | Theorem | 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 |
Q219079 [CC | ] | No label in ! | Truth table | 1 |
Q185521 [CC | ] | No label in ! | Truth value | 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 |
Q1047000 [CC | ] | No label in ! | Validity (logic) | 1 |
Q50701 [CC | ] | No label in ! | Variable (mathematics) | 1 |
Q655328 [CC | ] | No label in ! | Well-formed formula | 1 |
Q9747 [CC | ] | No label in ! | U | 1 |
Q170198 [CC | ] | No label in ! | อนุกรม | 1 |
Q937228 [CC | ] | No label in ! | Propietat (ontologia) | 1 |
Q80071 [CC | ] | No label in ! | Símbol | 1 |
Q1174982 [CC | ] | No label in ! | Континуум (теорія множин) | 1 |
Q2440867 [CC | ] | No label in ! | Мир (видавництво) | 1 |
Q515319 [CC | ] | No label in ! | Мостовський Анджей | 1 |
Q12139784 [CC | ] | No label in ! | Переріз множини дійсних чисел | 1 |
Q200230 [CC | ] | No label in ! | Element | 1 |
Q10585806 [CC | ] | No label in ! | Minimum | 1 |
Q1455907 [CC | ] | No label in ! | Rekurzivní jazyk | 1 |
Q2669934 [CC | ] | No label in ! | UNION | 1 |
Q32191819 [CC | ] | No label in ! | Ütidse osaga hulgaq | 1 |
Q7456286 [CC | ] | No label in ! | समुच्चय संकेतन | 1 |
Q12528890 [CC | ] | No label in ! | Амал | 1 |
Q204 [CC | ] | No label in ! | 0 | 1 |
Q7829 [CC | ] | No label in ! | 1888年 | 1 |
Q837869 [CC | ] | No label in ! | Microsoftコードページ932 | 1 |
Q1130535 [CC | ] | No label in ! | PlanetMath | 1 |
Q371730 [CC | ] | No label in ! | Well-defined | 1 |
Q6368 [CC | ] | No label in ! | ウェブブラウザ | 1 |
Q381892 [CC | ] | No label in ! | コンパクト空間 | 1 |
Q901446 [CC | ] | No label in ! | ハッセ図 | 1 |
Q122323 [CC | ] | No label in ! | フロリアン・カジョリ | 1 |
Q1923256 [CC | ] | No label in ! | 内包と外延 | 1 |
Q133250 [CC | ] | No label in ! | 列 (数学) | 1 |
Q1308999 [CC | ] | No label in ! | 制限 (数学) | 1 |
Q1663694 [CC | ] | No label in ! | 包含写像 | 1 |
Q194404 [CC | ] | No label in ! | 単調写像 | 1 |
Q1211071 [CC | ] | No label in ! | 同値類 | 1 |
Q1532424 [CC | ] | No label in ! | 商写像 | 1 |
Q7941494 [CC | ] | No label in ! | 始順序数 | 1 |
Q2481270 [CC | ] | No label in ! | 完全関係 | 1 |
Q1322856 [CC | ] | No label in ! | 対応 (数学) | 1 |
Q7249440 [CC | ] | No label in ! | 射影 (集合論) | 1 |
Q1331427 [CC | ] | No label in ! | 岩波書店 | 1 |
Q17077782 [CC | ] | No label in ! | 巨大基数的性質の一覧 | 1 |
Q1191286 [CC | ] | No label in ! | 後続順序数 | 1 |
Q1501387 [CC | ] | No label in ! | 推移閉包 | 1 |
Q178377 [CC | ] | No label in ! | 数学的帰納法 | 1 |
Q54561312 [CC | ] | No label in ! | 整列集合 | 1 |
Q17994799 [CC | ] | No label in ! | 整礎的集合 | 1 |
Q338021 [CC | ] | No label in ! | 整礎関係 | 1 |
Q1513048 [CC | ] | No label in ! | 有向集合 | 1 |
Q726212 [CC | ] | No label in ! | 有界 | 1 |
Q2467845 [CC | ] | No label in ! | 極限順序数 | 1 |
Q1193137 [CC | ] | No label in ! | 正則基数 | 1 |
Q194699 [CC | ] | No label in ! | 稠密関係 | 1 |
Q2045366 [CC | ] | No label in ! | 空集合の公理 | 1 |
Q1144915 [CC | ] | No label in ! | 辞書式順序 | 1 |
Q1756942 [CC | ] | No label in ! | 部分写像 | 1 |
Q16632222 [CC | ] | No label in ! | 配置集合 | 1 |
Q2795123 [CC | ] | No label in ! | 関係の合成 | 1 |
Q2298831 [CC | ] | No label in ! | 非対称関係 | 1 |
Q7994926 [CC | ] | No label in ! | 順序集合 | 1 |
Q476959 [CC | ] | No label in ! | 高木貞治 | 1 |
Q3077563 [CC | ] | No label in ! | Formulario mathematico | 1 |
Q3803714 [CC | ] | No label in ! | Istituto dell'Enciclopedia Italiana | 1 |
Q11567 [CC | ] | No label in ! | Numero complesso | 1 |
Q578036 [CC | ] | No label in ! | Ronald Rivest | 1 |
Q4015908 [CC | ] | No label in ! | Vocabolario Treccani | 1 |
Q61073521 [CC | ] | No label in ! | Birleşme özelliği | 1 |
Q1110072 [CC | ] | No label in ! | Ortografia milanesa | 1 |
Q397 [CC | ] | No label in ! | Bahasa Latin | 1 |
Q13582243 [CC | ] | No label in ! | Jumlah langsung | 1 |
Q5360810 [CC | ] | No label in ! | Derivation de parolas in interlingua | 1 |
Q7026 [CC | ] | No label in ! | Lingua catalan | 1 |
Q150 [CC | ] | No label in ! | Lingua francese | 1 |
Q188 [CC | ] | No label in ! | Lingua german | 1 |
Q652 [CC | ] | No label in ! | Lingua italian | 1 |
Q5146 [CC | ] | No label in ! | Lingua portugese | 1 |
Q7913 [CC | ] | No label in ! | Lingua romanian | 1 |
Q7737 [CC | ] | No label in ! | Lingua russe | 1 |
Q841606 [CC | ] | No label in ! | Tautologie | 1 |
Q1 [CC | ] | No label in ! | Univers | 1 |
Q180969 [CC | ] | No label in ! | Alhebraikong heometriya | 1 |
Q4440864 [CC | ] | No label in ! | Dimensiyon | 1 |
Q207961 [CC | ] | No label in ! | Hugis | 1 |
Q166154 [CC | ] | No label in ! | Linyang segmento | 1 |
Q202805 [CC | ] | No label in ! | ترکیب (ریاضی) | 1 |
Q161519 [CC | ] | No label in ! | جایگشت | 1 |
Q41118 [CC | ] | No label in ! | خارج قسمت | 1 |
Q5702887 [CC | ] | No label in ! | مجموعه مرجع | 1 |
Q5478310 [CC | ] | No label in ! | کروشه لی | 1 |
Q1768199 [CC | ] | No label in ! | Grande Enciclopedia Rusa | 1 |