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

Q12482 - set theory

Searching link targets on 117 Wikipedias...

Toggle existing labels

Item	Label [en]	Wikilabels	Link #
Q395 [CC \| ]	mathematics	Matematika \| Математика \| Matematik \| Mathematics \| गणित \| Wiskunde \| Matematicas \| Матэматыка \| Matematiko \| 数学 \| Mathematica \| Matematikk \| رياضيات \| Riyaziyyat \| Matematėka \| Matemàtiques \| Μαθηματικά \| Matemaatika \| ریاضیات \| Matematiikka \| Matõmaatiga \| Støddfrøði \| Mathématiques \| Matematiche \| Matemáticas \| מתמטיקה \| Մաթեմատիկա \| Stærðfræði \| Matematica \| მათემატიკა \| 수학 \| Matemātika \| Matematike \| Matematyka \| Matemàtica \| Matemática \| Matematică \| Математіка \| ගණිතය \| คณิตศาสตร์ \| ریاضی \| Toán học \| Matemat \| Sò͘-ha̍k \| 數學 \| Matemátiques \| מאטעמאטיק \| Mathemateg \| ଗଣିତ \| ماتماتیک \| Hisabati \| Matematiik	89
Q36161 [CC \| ]	set	Множество \| Ensemble \| Мноства \| Množina \| Conjunto \| Hulk \| 集合 \| Set \| Set (mathematics) \| ስብስብ \| مجموعة (رياضيات) \| Conjunt \| Mængde \| Menge (Mathematik) \| Σύνολο \| Multzo \| مجموعه (ریاضیات) \| Joukko \| Insiemi \| Conxunto \| קבוצה (מתמטיקה) \| Skup \| Halmaz (matematika) \| Բազմություն \| Himpunan (matematika) \| Mengi \| Insieme \| სიმრავლე \| 집합 \| Copia \| Kopa \| ഗണം (ഗണിതം) \| Verzameling (wiskunde) \| Mengd \| Mengde \| Zbiór \| Ansem \| Mulțime \| Množica \| Скуп \| Mängd \| เซต (คณิตศาสตร์) \| Множина \| طاقم (ریاضی) \| Tập hợp (toán học) \| 集合 (数学) \| 集 \| Chi̍p-ha̍p \| Күмәклек \| Verzoamelienge \| Conxuntu \| Йыш \| געזעמל (מאטעמאטיק) \| Set (mathemateg) \| Aibė \| Küme \| Insimul \| Tacar \| Bashkësitë \| Pangkat (matematika) \| Aro (matematiko) \| მიარე	72
Q76420 [CC \| ]	Georg Cantor	Georg Cantor \| Георг Кантор \| გეორგ კანტორი \| Georg Ferdinand Cantor \| غيورغ كانتور \| Георг Кантар \| গেয়র্গ কান্টর \| Γκέοργκ Κάντορ \| گئورگ کانتور \| גאורג קנטור \| Գեորգ Կանտոր \| ゲオルク・カントール \| 게오르크 칸토어 \| Georgius Cantor \| Georgs Kantors \| ജോർജ് കാന്റർ \| Кантор, Георг \| เกออร์ค คันทอร์ \| جورج کنٹور \| 格奥尔格·康托尔 \| 康托爾 \| ဂျော့ ကန်တာ \| ଜର୍ଜ କ୍ୟାଣ୍ଟର \| گیۆرگ کانتۆر	65
Q1166618 [CC \| ]	mathematical logic	Mathematical logic \| Matematička logika \| Lógica matemática \| Lóxica matemática \| Математичка логика \| منطق رياضي \| Riyazi məntiq \| Матэматычная логіка \| Математическа логика \| গাণিতিক যুক্তিবিজ্ঞান \| Matematická logika \| Mathematische Logik \| Μαθηματική λογική \| Matemaatiline loogika \| منطق ریاضی \| Logique mathématique \| לוגיקה מתמטית \| Matematikai logika \| Մաթեմատիկական տրամաբանություն \| Logika matematika \| Matematikala logiko \| Logica matematica \| 数理論理学 \| მათემატიკური ლოგიკა \| Математикалық логика \| Logica mathematica \| Logik matematik \| Logika matematyczna \| Logică matematică \| Математическая логика \| Matematična logika \| Matematisk logik \| คณิตตรรกศาสตร์ \| Математична логіка \| ریاضیاتی منطق \| Logic toán \| 数理逻辑 \| 數學邏輯 \| Matematik mantiq \| သင်္ချာယုတ္တိဗေဒ \| Математикăлла логика \| Logika matématika \| Simbolinė logika \| Matematiksel mantık \| Loighic mhatamaiticiúil \| Wiskundige logika \| Logjika matematikore \| Lohikang matematikal \| Matematika logiko	55
Q3968 [CC \| ]	algebra	Algebra \| Алгебра \| बीजगणित \| Cəbr \| Άλγεβρα \| جبر \| Álxebra \| Հանրահաշիվ \| Aljabar \| Algebro \| 代数学 \| ალგებრა \| 대수학 \| Álgebra \| Algebră \| พีชคณิต \| الجبرا \| Đại số \| 代数 \| 代數學 \| Альгебра \| Cebir \| Alhebra	43
Q8087 [CC \| ]	geometry	Geometrie \| Geometria \| Геометрия \| Geometrija \| Geometri \| Geometrio \| Геометрија \| Geometry \| هندسة رياضية \| Геаметрыя \| Γεωμετρία \| هندسه \| Xeometría \| Երկրաչափություն \| 幾何学 \| გეომეტრია \| 기하학 \| Meetkunde \| เรขาคณิต \| Геометрія \| ہندسہ \| Hình học \| 几何学 \| 幾何學 \| Геометри \| Geometreg \| ଜ୍ୟାମିତି \| Geometrii \| Heometriya	43
Q42989 [CC \| ]	topology	Topologia \| Топология \| Topologija \| Topologi \| Topologio \| Топологија \| Topologie \| Topology \| طوبولوجيا \| Тапалогія \| Topologie (Mathematik) \| Τοπολογία \| توپولوژی \| Topoloxía \| Topológia \| Տոպոլոգիա \| 位相幾何学 \| ტოპოლოგია \| 위상수학 \| Topologìa \| Topologia (matemática) \| ทอพอโลยี \| Топологія \| وضعیت \| Tô pô \| 拓扑学 \| 拓撲學 \| Тапалёгія \| Топологи \| Topoleg \| Topologjia	43
Q7754 [CC \| ]	mathematical analysis	Analysis \| Matematička analiza \| Análise matemática \| Математичка анализа \| Mathematical analysis \| تحليل رياضي \| Riyazi analiz \| Матэматычны аналіз \| Математически анализ \| Anàlisi matemàtica \| Μαθηματική ανάλυση \| Analisi matematiko \| آنالیز ریاضی \| Matematikai analízis \| Մաթեմատիկական անալիզ \| Analisis matematis \| Analitiko \| Analisi matematica \| 解析学 \| მათემატიკური ანალიზი \| Математикалық талдау \| 해석학 (수학) \| Analisis matematik \| Analyse (wiskunde) \| Analiza matematyczna \| Анализ (раздел математики) \| Matematična analiza \| คณิตวิเคราะห์ \| Математичний аналіз \| ریاضیاتی تحلیل \| Giải tích toán học \| 数学分析 \| 數學分析 \| Dadansoddiad mathemategol \| Matematiksel analiz \| Analiza matematikore \| Pagsusuring matematikal	42
Q33760 [CC \| ]	Bertrand Russell	Bertrand Russell \| بيرتراند راسل \| Бъртранд Ръсел \| برتراند راسل \| Բերտրան Ռասել \| バートランド・ラッセル \| ბერტრან რასელი \| Рассел, Бертран \| Бертранд Расел \| Бертран Расселл \| 伯特兰·罗素	38
Q159943 [CC \| ]	abstract algebra	جبر مجرد \| Абстрактна алгебра \| Apstraktna algebra \| Abstract algebra \| Абстрактная алгебра \| Àlgebra abstracta \| Αφηρημένη άλγεβρα \| Aljebra abstraktu \| Abstrakti algebra \| Algèbre générale \| Álxebra abstracta \| Absztrakt algebra \| Աբստրակտ հանրահաշիվ \| Aljabar abstrak \| Abstrakta algebro \| 抽象代数学 \| 추상대수학 \| Algebra abstrak \| Algebra abstrakcyjna \| Álgebra abstrata \| Algebră abstractă \| Общая алгебра \| Abstraktna algebra \| Апстрактна алгебра \| พีชคณิตนามธรรม \| تجریدی الجبرا \| Đại số trừu tượng \| 抽象代数 \| 抽象代數 \| Дөйөм алгебра \| Пĕрлехи алгебра \| Algebra haniaethol \| Algjebra abstrakte \| Alhebrang basal	37
Q12479 [CC \| ]	number theory	Teorija brojeva \| Number theory \| نظرية الأعداد \| Тэорыя лікаў \| Теория на числата \| Θεωρία αριθμών \| نظریه اعداد \| Lukuteoria \| Teoría de números \| Számelmélet \| Թվերի տեսություն \| Teori bilangan \| Teoria dei numeri \| 数論 \| რიცხვთა თეორია \| Сандар теориясы \| 수론 \| Theoria numerorum \| Теорија на броевите \| Teori nombor \| Getaltheorie \| Teoria liczb \| Teoria dos números \| Teoria numerelor \| Теория чисел \| Teorija števil \| Теорија бројева \| ทฤษฎีจำนวน \| Теорія чисел \| نظریۂ عدد \| Lý thuyết số \| 数论 \| 數論 \| Хисепсен теорийĕ \| Sayılar teorisi \| Teorya ng bilang	37
Q11205 [CC \| ]	arithmetic	Aritmetika \| Aritmética \| Арифметика \| حساب \| 算術 \| Arithmetic \| حسابيات \| Арыфметыка \| Аритметика \| Αριθμητική \| Aritmeetika \| Aritmetiikka \| Թվաբանություն \| Aritmetica \| 산술 \| Aritmetik \| Rekenen \| Arytmetyka \| Aritmetică \| เลขคณิต \| Số học \| 算术 \| Rhifyddeg	35
Q17736 [CC \| ]	axiom	Aksiom \| Axioma \| Axiom \| Аксиома \| Axióma \| 公理 \| مسلمة (فلسفة) \| Axiome \| אקסיומה \| Aksioma \| Assioma (matematica) \| 공리 \| Axiomă \| Аксіома \| Tiên đề \| Axoma \| Gwireb (mathemateg) \| Aksiyom \| بەڵگەنەویست \| Aksiomo	35
Q33401 [CC \| ]	Russell's paradox	Russell's paradox \| Paradoxa de Russell \| Paradoxo de Russell \| Раселов парадокс \| Russellův paradox \| Russellsche Antinomie \| Paradoja de Russell \| Russelli paradoks \| Russellen paradoxa \| پارادوکس راسل \| Russellin paradoksi \| Paradoxe de Russell \| הפרדוקס של ראסל \| Russell-paradoxon \| Paradosso di Russell \| ラッセルのパラドックス \| 러셀의 역설 \| Paradoss da Russell \| Russellparadox \| Paradòss ëd Russell \| Paradoxul lui Russell \| Парадокс Рассела \| Russellov paradox \| Russells paradox \| ปฏิทรรศน์ของรัสเซิลล์ \| Парадокс Расселла \| Nghịch lý Russell \| 罗素悖论 \| 羅素悖論 \| Rusela paradokso	34
Q190763 [CC \| ]	Venn diagram	Diagrama de Venn \| Venn diagram \| Diagram Venn \| Vennov diagram \| مخطط فن \| Venn diaqramı \| Диаграма на Вен \| ভেন রেখাচিত্র \| Vennův diagram \| Venn-diagram \| Διάγραμμα Βεν \| Venn diagrama \| نمودار ون \| Venn-diagrammi \| Diagramme de Venn \| דיאגרמת ון \| ベン図 \| Venna diagramma \| Venndiagram \| Diagram Venna \| Диаграмма Венна \| แผนภาพเวนน์ \| Діаграма Венна \| Sơ đồ Venn \| 文氏图 \| Veno diagrama \| Venn şeması \| Léaráid Venn \| Venn-a diagramo	34
Q76592 [CC \| ]	combinatorics	Kombinatorika \| Комбинаторика \| Combinatoria \| Kombinatorik \| Combinatorics \| Камбінаторыка \| Συνδυαστική \| ترکیبیات \| Kombinatoriikka \| Կոմբինատորիկա \| Kombinatoriko \| 組合せ数学 \| 조합론 \| Kombinatoryka \| Combinatória \| คณิตศาสตร์เชิงการจัด \| Комбінаторика \| تالیفیات \| Toán học tổ hợp \| 组合数学 \| 組合數學 \| Cyfuniadeg	33
Q121416 [CC \| ]	discrete mathematics	Дискретна математика \| Diskretna matematika \| Matemática discreta \| Discrete mathematics \| رياضيات متقطعة \| Дыскрэтная матэматыка \| Διακριτά μαθηματικά \| Matematika diskretu \| ریاضیات گسسته \| Diskreetti matematiikka \| Diszkrét matematika \| Դիսկրետ մաթեմատիկա \| Matematica discreta \| დისკრეტული მათემატიკა \| Дискреттік математика \| 이산수학 \| Matematik diskret \| Matematyka dyskretna \| Дискретная математика \| วิยุตคณิต \| متفرد ریاضی \| Toán học rời rạc \| 离散数学 \| 離散數學 \| Дискретлă математика \| Ayrık matematik \| Matematika diskrete \| Natatanging matematika	33
Q82571 [CC \| ]	linear algebra	Linearna algebra \| Линеарна алгебра \| Linear algebra \| جبر خطي \| Лінейная алгебра \| Линейна алгебра \| Γραμμική άλγεβρα \| جبر خطی \| Álxebra lineal \| Lineáris algebra \| Գծային հանրահաշիվ \| Aljabar linear \| 線型代数学 \| წრფივი ალგებრა \| Сызықтық алгебра \| 선형대수학 \| Algebra linear \| Lineaire algebra \| Algebra liniowa \| Álgebra linear \| Algebră liniară \| Линейная алгебра \| พีชคณิตเชิงเส้น \| Лінійна алгебра \| خطی الجبرا \| Đại số tuyến tính \| 线性代数 \| 線性代數 \| Линейлĕ алгебра \| Alhebrang linyar	33
Q179692 [CC \| ]	axiom of choice	Axiom of choice \| بديهية الاختيار \| Axiom výběru \| Udvalgsaksiomet \| Auswahlaxiom \| Αξίωμα της επιλογής \| Axioma de elección \| Valikuaksioom \| اصل موضوع انتخاب \| Valinta-aksiooma \| Axiome du choix \| Axioma da escolla \| אקסיומת הבחירה \| Ընտրության աքսիոմ \| Aksioma pemilihan \| Assioma della scelta \| 選択公理 \| ამორჩევის აქსიომა \| 선택 공리 \| Aksjomat wyboru \| Assiòma ëd selession \| Axioma da escolha \| Axioma alegerii \| Аксиома выбора \| Urvalsaxiomet \| สัจพจน์การเลือก \| Аксіома вибору \| Tiên đề chọn \| 选择公理 \| 選擇公理 \| Aksiomo de elekto	32
Q226183 [CC \| ]	empty set	Empty set \| 空集 \| مجموعة خالية \| Boş çoxluq \| Празно множество \| Conjunt buit \| Prázdná množina \| Tomme mængde \| Leere Menge \| Multzo huts \| مجموعه تهی \| Tyhjä joukko \| Conxunto baleiro \| הקבוצה הריקה \| Üres halmaz \| Դատարկ բազմություն \| Himpunan kosong \| Insieme vuoto \| 空集合 \| 공집합 \| Zbiór pusty \| Conjunto vazio \| Пустое множество \| Prázdna množina \| Буш күплек \| Порожня множина \| Tập hợp rỗng \| Буш күмәклек \| Пушă йыш \| Malplena aro	32
Q11348 [CC \| ]	function	Function (mathematics) \| دالة \| Funkce (matematika) \| Funktion (matematik) \| Funktion (Mathematik) \| Συνάρτηση \| Funtzio (matematika) \| Funktio \| Fonction (mathématiques) \| פונקציה \| फलन \| Függvény (matematika) \| Fungsi (matematika) \| 関数 (数学) \| 함수 \| Functio \| Fungsi \| Functie (wiskunde) \| Funkcja \| Fonsion \| Funcție \| Функция (математика) \| Funktion \| Функція (математика) \| تفاعل (ریاضیات) \| Hàm số \| 映射 \| 函數 \| Función matemática \| Ffwythiant \| Funksioni	32
Q185837 [CC \| ]	intersection	交集 \| Intersection (set theory) \| تقاطع (نظرية المجموعات) \| Сечение (теория на множествата) \| Intersecció \| Průnik \| Τομή συνόλων \| Intersección de conjuntos \| Ebaketa (multzo-teoria) \| اشتراک (نظریه مجموعه‌ها) \| Leikkaus (matematiikka) \| Intersección (conxuntos) \| חיתוך (מתמטיקה) \| Metszet (halmazelmélet) \| Irisan (teori himpunan) \| Intersezione (insiemistica) \| 共通部分 (数学) \| 교집합 \| Doorsnede (verzamelingenleer) \| Część wspólna \| Interseção \| Пересечение множеств \| Prienik (matematika) \| Presek množic \| Пресек (теорија скупова) \| อินเตอร์เซกชัน \| Перетин множин \| Phép giao \| Interseición de conxuntos \| Йышсен хĕресленĕвĕ \| Komunaĵo	32
Q217413 [CC \| ]	category theory	Category theory \| Teori kategori \| نظرية الفئة \| Θεωρία κατηγοριών \| Teoría de categorías \| Kategoriateoria \| Teoría das categorías \| תורת הקטגוריות \| Kategóriaelmélet \| Կատեգորիաների տեսություն \| Teoria delle categorie \| 圏論 \| კატეგორიათა თეორია \| 범주론 \| Teoria kategorii \| Teoria das categorias \| Teoria categoriilor \| Теория категорий \| Teorija kategorij \| Теорія категорій \| نظریہ زمرہ \| Lý thuyết phạm trù \| 范畴论 \| 範疇論 \| Категорисен теорийĕ \| Theori categori \| Kategori teorisi \| Teorya ng kategorya \| Teorio de kategorioj	31
Q21199 [CC \| ]	natural number	Натуральны лік \| Natürliche Zahl \| 自然數 \| Natural number \| عدد طبيعي \| Естествено число \| Nombre natural \| Φυσικός αριθμός \| Naturaalarv \| Zenbaki arrunt \| Luonnollinen luku \| Teljital \| Entier naturel \| מספר טבעי \| Természetes számok \| Numero naturale \| 自然数 \| Numerus naturalis \| Naturāls skaitlis \| Natuurlijk getal \| Liczby naturalne \| Натуральное число \| Naravno število \| Натуральне число \| Số tự nhiên \| Rhif naturiol \| ଗଣନ ସଂଖ୍ୟା	30
Q5862903 [CC \| ]	probability theory	Probability theory \| نظرية الاحتمال \| Тэорыя імавернасцей \| Теория на вероятностите \| Teorie pravděpodobnosti \| Θεωρία πιθανοτήτων \| نظریه احتمالات \| Teoría da probabilidade \| Valószínűségszámítás \| Հավանականությունների տեսություն \| Teori peluang \| Teoria della probabilità \| 確率論 \| ალბათობის თეორია \| Ықтималдық теориясы \| 확률론 \| Теорија на веројатноста \| Teori kebarangkalian \| Kansrekening \| Teoria prawdopodobieństwa \| Teoria das probabilidades \| Теория вероятностей \| Teorija vjerovatnoće \| Verjetnostni račun \| Теорија вероватноће \| Теорія ймовірностей \| نظریۂ احتمال \| Lý thuyết xác suất \| 概率論 \| Ehtimollar nazariyasi	30
Q76556 [CC \| ]	Richard Dedekind	Richard Dedekind \| ريتشارد ديدكايند \| Рихард Дедекинд \| রিচার্ড ডেডেকিন্ড \| Ρίχαρντ Ντέντεκιντ \| ریچارد ددکیند \| Ռիխարդ Դեդեկինդ \| リヒャルト・デーデキント \| Richardus Dedekind \| Rihards Dēdekinds \| Дедекинд, Рихард \| Јулијус Вилхелм Рихард Дедекинд \| Ріхард Дедекінд \| 理查德·戴德金 \| 戴德金 \| რიხარდ დედეკინდი	30
Q173740 [CC \| ]	Cartesian product	Cartesian product \| Produto cartesiano \| جداء ديكارتي \| Декартово произведение \| Producte cartesià \| Kartézský součin \| Kartesisches Produkt \| Καρτεσιανό γινόμενο \| Producto cartesiano \| Biderketa kartesiar \| ضرب دکارتی \| Karteesinen tulo \| מכפלה קרטזית \| Descartes-szorzat \| Prodotto cartesiano \| 直積集合 \| 곱집합 \| Прямое произведение \| Karteziánsky súčin \| Cartesisk produkt \| Декартів добуток множин \| Tích Descartes \| 笛卡儿积 \| 直積 \| Producto cartesian \| لێکدانی دێکارتی \| Produktong Cartesian	29
Q8078 [CC \| ]	logic	Logika \| Logic \| Logik \| Logica \| Məntiq \| Логіка \| Lógica \| منطق \| Logiikka \| Logique \| 論理学 \| Логика \| तर्क \| Logikk \| Logike \| Logică \| 逻辑 \| 理則 \| 邏輯 \| Лёгіка \| Rhesymeg \| Logiko	29
Q11216 [CC \| ]	numerical analysis	Análise numérica \| Numerical analysis \| تحليل عددي \| Лікавыя метады \| Числен анализ \| Numerička analiza \| Αριθμητική ανάλυση \| آنالیز عددی \| Numerikus analízis \| Թվային մեթոդներ \| Analisis numerik \| Analisi numerica \| 数値解析 \| რიცხვითი ანალიზი \| Есептеу математикасы \| 수치해석학 \| Analisis berangka \| Analiza numeryczna \| Analiză numerică \| Численные методы \| Numerična matematika \| การวิเคราะห์เชิงตัวเลข \| Чисельні методи \| عددی تحلیل \| Giải tích số \| 数值分析 \| 數值分析 \| Sayısal analiz	29
Q12916 [CC \| ]	real number	實數 \| Real number \| Рэчаісны лік \| Реално число \| বাস্তব সংখ্যা \| Reelle Zahl \| Πραγματικός αριθμός \| Reaalarv \| Zenbaki erreal \| Reaaliluku \| Nombre réel \| Valós számok \| Bilangan riil \| Numero reale \| Numerus realis \| Reëel getal \| Reelle tal \| Liczby rzeczywiste \| Número real \| Вещественное число \| තාත්වික සංඛ්‍යා \| Реалан број \| حقیقی عدد \| Số thực \| Ысын һан \| Rhif real \| ژمارەی ڕاستەقینە \| Reelo	29
Q177646 [CC \| ]	subset	子集 \| Subset \| Подмножество \| Podmnožina \| Subconjunto \| مجموعة جزئية \| Delmængde \| Teilmenge \| Alamhulk \| Azpimultzo \| زیرمجموعه \| Osajoukko \| Himpunan bagian \| Inclusione (matematica) \| 部分集合 \| 부분집합 \| Delmengde \| Podzbiór \| Delmängd \| Підмножина \| Tập hợp con \| Subinsimul \| Subaro	29
Q483372 [CC \| ]	paradox	Paradox \| Paradoks \| Paradoxa \| Paradoksi \| Paradoxo \| Парадокс \| مفارقة \| Paradoja \| پارادوکس \| Paradoxe \| פרדוקס \| Պարադոքս \| パラドックス \| Paradoxum \| Paradox (logica) \| ปฏิทรรศน์ \| Nghịch lý \| 悖论 \| 悖論 \| Paradocs \| Paradokso \| პარადოქსი	29
Q33521 [CC \| ]	applied mathematics	Matemática aplicada \| Applied mathematics \| رياضيات تطبيقية \| Прыкладная матэматыка \| Приложна математика \| Primijenjena matematika \| Matemàtiques aplicades \| Εφαρμοσμένα μαθηματικά \| ریاضیات کاربردی \| Կիրառական մաթեմատիկա \| Matematika terapan \| 応用数学 \| Қолданбалы математика \| Matematik gunaan \| Matematyka stosowana \| Matematică aplicată \| Прикладная математика \| Primenjena matematika \| Uporabna matematika \| Примењена математика \| คณิตศาสตร์ประยุกต์ \| Прикладна математика \| اطلاقی ریاضی \| Toán học ứng dụng \| 应用数学 \| 應用數學 \| Matematikang nalalapat	28
Q57248 [CC \| ]	Ernst Zermelo	Ernst Zermelo \| ارنست تسرملو \| ארנסט צרמלו \| エルンスト・ツェルメロ \| 에른스트 체르멜로 \| Ernestus Zermelo \| Цермело, Эрнст \| Ернст Цермело \| 恩斯特·策梅洛	28
Q131476 [CC \| ]	graph theory	Teori graf \| Graph theory \| نظرية البيان \| Тэорыя графаў \| Teorija grafova \| Θεωρία γράφων \| نظریه گراف \| Teoría de grafos \| Gráfelmélet \| Գրաֆների տեսություն \| グラフ理論 \| Графтар теориясы \| 그래프 이론 \| Teoria grafów \| Teoria dos grafos \| Teoria grafurilor \| Теория графов \| Teorija grafov \| ทฤษฎีกราฟ \| Теорія графів \| نظریۂ گراف \| Lý thuyết đồ thị \| 图论 \| 圖論 \| Графсен теорийĕ \| Çizge teorisi \| Teorya ng grap	28
Q185359 [CC \| ]	union	Union (set theory) \| اتحاد (نظرية المجموعات) \| Обединение (теория на множествата) \| Unió \| Sjednocení \| Ένωση συνόλων \| Unión de conjuntos \| Bilketa (multzo-teoria) \| اجتماع (نظریه مجموعه‌ها) \| Yhdiste (matematiikka) \| Unión (conxuntos) \| איחוד (מתמטיקה) \| Unió (halmazelmélet) \| Gabungan (teori himpunan) \| Unione (insiemistica) \| 和集合 \| 합집합 \| Union i matematikk \| Union \| União (matemática) \| Объединение множеств \| Zjednotenie (matematika) \| Об'єднання множин \| Phép hợp \| 并集 \| 併集 \| Йышсен пĕрлешĕвĕ \| Kunaĵo	28
Q11214 [CC \| ]	differential equation	微分方程 \| Differential equation \| معادلة تفاضلية \| Дыферэнцыяльнае ўраўненне \| Diferencijalna jednačina \| Diferenciální rovnice \| Διαφορική εξίσωση \| معادله دیفرانسیل \| Ecuación diferencial \| Differenciálegyenlet \| Դիֆերենցիալ հավասարումներ \| Persamaan diferensial \| Equazione differenziale \| 微分方程式 \| დიფერენციალური განტოლებები \| Дифференциалдық теңдеу \| Persamaan pembezaan \| Equação diferencial \| Дифференциальное уравнение \| Diferencialna enačba \| สมการเชิงอนุพันธ์ \| Диференціальні рівняння \| تفرقی مساوات \| Phương trình vi phân \| Differensial tenglama \| Дифференциаллă танлăх	27
Q131222 [CC \| ]	information theory	Information theory \| نظرية المعلومات \| Тэорыя інфармацыі \| Θεωρία πληροφορίας \| نظریه اطلاعات \| Teoría da información \| Információelmélet \| Ինֆորմացիայի տեսություն \| Teori informasi \| Informo-teorio \| 情報理論 \| Ақпарат теориясы \| Teori maklumat \| Teoria informacji \| Teoria da informação \| Teoria informației \| Теория информации \| Teorija informacij \| Теорія інформації \| نظریۂ اطلاعات \| Lý thuyết thông tin \| 信息论 \| 資訊理論 \| Мәғлүмәт теорияһы \| Bilgi teorisi \| Teorya ng impormasyon	27
Q205170 [CC \| ]	power set	Power set \| Булеан \| 冪集 \| Potenční množina \| Potenzmenge \| Δυναμοσύνολο \| Astmehulk \| Potentzia-multzo \| مجموعه توانی \| Potenssijoukko \| קבוצת החזקה \| Himpunan kuasa \| 冪集合 \| 멱집합 \| Machtsverzameling \| Ansem potensa \| Conjunto de partes \| Множество всех подмножеств \| Potenčná množina \| Партитивни скуп \| Tập lũy thừa \| Insimul potentia \| Bashkësia partitive \| Kapangyarihang pangkat	27
Q180969 [CC \| ]	algebraic geometry	Algebraic geometry \| هندسة جبرية \| Алгебраічная геаметрыя \| Αλγεβρική γεωμετρία \| Geometría algebraica \| هندسه جبری \| Géométrie algébrique \| Xeometría alxébrica \| Հանրահաշվական երկրաչափություն \| Geometri aljabar \| Geometria algebrica \| 代数幾何学 \| ალგებრული გეომეტრია \| Алгебралық геометрия \| 대수기하학 \| Geometria algebraiczna \| Geometria algébrica \| Geometrie algebrică \| Алгебраическая геометрия \| Algebrska geometrija \| เรขาคณิตเชิงพีชคณิต \| Алгебрична геометрія \| Hình học đại số \| 代数几何 \| 代數幾何 \| Geometreg algebraidd	26
Q44455 [CC \| ]	game theory	Teori permainan \| Game theory \| نظرية الألعاب \| Θεωρία παιγνίων \| Teoría de xogos \| Játékelmélet \| Խաղերի տեսություն \| Ludo-teorio \| Teoria dei giochi \| ゲーム理論 \| Ойындар теориясы \| 게임 이론 \| Speltheorie \| Teoria gier \| Teoria dos jogos \| Teoria jocurilor \| Теория игр \| Teorija iger \| ทฤษฎีเกม \| Теорія ігор \| نظریہ بازی \| Lý thuyết trò chơi \| 博弈论 \| 博弈論 \| Teorya ng laro	26
Q205 [CC \| ]	infinity	Infinito \| Infinity \| لانهاية \| Бесканечнасць \| Infinit \| بی‌نهایت \| Infini \| אינסוף \| Végtelen \| Անվերջություն (մաթեմատիկա) \| Tak hingga \| Infinitas \| അനന്തത \| Oneindigheid \| Nieskończoność \| Бесконечность \| Бесконачност \| Oändlighet \| Vô tận \| 無窮盡 \| Infinitu \| Anfeidredd \| Pafundësia \| Lopmätomuz	26
Q156495 [CC \| ]	mathematical physics	Математичка физика \| Mathematical physics \| فيزياء رياضية \| Матэматычная фізіка \| Математическа физика \| Μαθηματική φυσική \| ریاضی فیزیک \| Մաթեմատիկական ֆիզիկա \| Fisika matematis \| Fisica matematica \| 数理物理学 \| Математикалық физика \| Fizik matematik \| Fizyka matematyczna \| Física matemática \| Математическая физика \| Matematička fizika \| Математична фізика \| ریاضیاتی طبیعیات \| Vật lý toán học \| 数学物理 \| 數理物理學 \| Matematiksel fizik \| Pisikang matematikal	25
Q903783 [CC \| ]	naive set theory	Naive set theory \| Teoría informal de conxuntos \| نظرية المجموعات المبسطة \| Naivní teorie množin \| Naive Mengenlehre \| Teoría informal de conjuntos \| Naiivne hulgateooria \| Multzoen teoria informal \| نظریه طبیعی مجموعه‌ها \| Théorie naïve des ensembles \| תורת הקבוצות הנאיבית \| Naivna teorija skupova \| Naiv halmazelmélet \| Teoria ingenua degli insiemi \| 素朴集合論 \| 소박한 집합론 \| Наивна теорија на множествата \| Teoria ingênua dos conjuntos \| Наивная теория множеств \| Наївна теорія множин \| Lý thuyết tập hợp ngây thơ \| 朴素集合论 \| ရိုးရိုးအစုသီအိုရီ	25
Q191849 [CC \| ]	Zermelo–Fraenkel set theory	Zermelo–Fraenkel set theory \| Zermelo-Fraenkel-Mengenlehre \| Axiomas de Zermelo-Fraenkel \| نظرية المجموعات حسب تسيرميلو-فرانكل \| Zermelova–Fraenkelova teorie množin \| Zermelo-Fraenkels aksiomer \| Zermelo-Fraenkeli aksiomaatika \| Théorie des ensembles de Zermelo-Fraenkel \| Teoria degli insiemi di Zermelo-Fraenkel \| ツェルメロ＝フレンケル集合論 \| 체르멜로-프렝켈 집합론 \| Axiomata Zermelo-Fraenkel \| Zermelo-Fraenkel-verzamelingenleer \| Aksjomaty Zermela-Fraenkla \| Sistemul axiomatic Zermelo-Fraenkel \| Система Цермело — Френкеля \| Цермело-Френкел теорија скупова \| Теорія множин Цермело — Френкеля \| Lý thuyết tập hợp Zermelo–Fraenkel \| 策梅洛-弗兰克尔集合论 \| Zermelo-Frenkelio aibių teorija \| Zermelo-Fraenkel küme teorisi	25
Q4049983 [CC \| ]	cardinality	Cardinality \| Cardinalità \| Магутнасць мноства \| Mohutnost \| Mächtigkeit (Mathematik) \| کاردینالیتی \| Mahtavuus \| Cardinalité (mathématiques) \| עוצמה (מתמטיקה) \| Számosság \| Բազմության հզորություն \| Kardinalitas \| 濃度 (数学) \| 집합의 크기 \| Kardinalitet \| Moc zbioru \| Cardinalidade \| Мощность множества \| Mohutnosť (množina) \| Потужність множини \| Lực lượng (tập hợp) \| 势 (数学)	24
Q379825 [CC \| ]	element	元素 (數學) \| Element (mathematics) \| Element (matemàtiques) \| Prvek množiny \| Element (matemaatika) \| Elementu (multzo-teoria) \| عنصر (ریاضیات) \| Alkio (joukko-oppi) \| Appartenance (mathématiques) \| Elemento (matemáticas) \| איבר (מתמטיקה) \| Elemen (matematika) \| Elemento (insiemistica) \| 元 (数学) \| 원소 (수학) \| Elemento (matemática) \| Prvok množiny \| Element (matematika) \| Element (mängdteori) \| Елемент (математика) \| Phần tử (toán học) \| Elfen (mathemateg) \| ئەندام (بیرکاری)	24
Q190549 [CC \| ]	functional analysis	Análise funcional \| 泛函分析 \| Functional analysis \| تحليل دالي \| Функцыянальны аналіз \| Функционален анализ \| Συναρτησιακή ανάλυση \| آنالیز تابعی \| Funkcionálanalízis \| Ֆունկցիոնալ անալիզ \| Analisis fungsional \| Analisi funzionale \| 関数解析学 \| ფუნქციონალური ანალიზი \| Функционалдық талдау \| 함수해석학 \| Analiza funkcjonalna \| Функциональный анализ \| Функціональний аналіз \| Giải tích hàm \| Функциональ анализ \| Функцилле анализ	24
Q874429 [CC \| ]	group theory	Teoría de grupos \| Group theory \| نظرية الزمر \| Teorija grupa \| Θεωρία ομάδων \| نظریه گروه‌ها \| Csoportelmélet \| Teori grup \| Teoria dei gruppi \| 군론 \| Theoria catervarum \| Groepentheorie \| Teoria grup \| Teoria grupurilor \| Теория групп \| Teorija grup \| ทฤษฎีกรุป \| Теорія груп \| نظریۂ گروہ \| Lý thuyết nhóm \| 群论 \| 羣論 \| Teorya ng grupo	24
Q12483 [CC \| ]	statistics	Statistika \| Estatística \| Статистика \| Statistics \| إحصاء \| Στατιστική \| آمار \| Statisztika \| Վիճակագրություն \| Statistica \| 통계학 \| Statistiek \| Statistică \| สถิติศาสตร์ \| شماریات \| Thống kê \| 统计学 \| 統計學 \| İstatistik \| Estadistika	24
Q149972 [CC \| ]	calculus	Infinitezimalni račun \| Cálculo infinitesimal \| Kalkulus \| Calculus \| تفاضل وتكامل \| Λογισμός \| حسابان \| Kalkulo \| Calcolo infinitesimale \| 微分積分学 \| 미적분학 \| Calcul infinitezimal \| Математический анализ \| แคลคูลัส \| Диференціальне та інтегральне числення \| احصا \| Vi tích phân \| 微積分 \| Математикăлла анализ \| Kalkülüs	23
Q188444 [CC \| ]	differential geometry	Differential geometry \| هندسة تفاضلية \| Дыферэнцыяльная геаметрыя \| Диференциална геометрия \| Διαφορική γεωμετρία \| هندسه دیفرانسیل \| Xeometría diferencial \| Differenciálgeometria \| Դիֆերենցիալ երկրաչափություն \| Geometri diferensial \| Geometria differenziale \| 微分幾何学 \| 미분기하학 \| Geometri pembezaan \| Geometria różniczkowa \| Geometria diferencial \| Geometrie diferențială \| Дифференциальная геометрия \| Диференціальна геометрія \| Hình học vi phân \| 微分几何 \| 微分幾何 \| Heometriyang deribatibo	23
Q180907 [CC \| ]	bijection	Биекция \| Bijection \| Біекцыя \| Bijekce \| تناظر دوسویه \| Bijektio \| פונקציה חד-חד-ערכית ועל \| Փոխմիարժեք համապատասխանություն \| Bijeksi \| 全単射 \| 전단사 함수 \| Functio biiectiva \| Bijectie \| Funkcja wzajemnie jednoznaczna \| Função bijectiva \| Bijektívne zobrazenie \| Бијекција \| Бієкція \| Song ánh \| 双射 \| Dissurĵeto	22
Q162886 [CC \| ]	Euclidean geometry	Euclidean geometry \| Евклидова геометрия \| هندسة إقليدية \| Ευκλείδεια γεωμετρία \| هندسه اقلیدسی \| Euklideszi geometria \| Էվկլիդեսյան երկրաչափություն \| Geometri Euklides \| Евклидтік геометрия \| Евклидова геометрија \| Euklidsk geometri \| Geometria euklidesowa \| Geometria euclidiana \| Geometrie euclidiană \| เรขาคณิตแบบยุคลิด \| Евклідова геометрія \| Hình học Euclid \| 欧几里得几何 \| 歐幾里得幾何 \| Евклид геометрийĕ	22
Q41390 [CC \| ]	Kurt Gödel	Kurt Gödel \| كورت غودل \| Курт Гёдэль \| کورت گودل \| クルト・ゲーデル \| Гёдель, Курт \| Курт Гедель \| 库尔特·哥德尔 \| 哥德爾	22
Q163875 [CC \| ]	cardinal number	Número cardinal \| Nombre cardinal \| Cardinal number \| عدد أصلي \| Kardinální číslo \| عدد اصلی \| Bilangan kardinal \| 基数 \| 기수 (수학) \| Kardinaalgetal \| Kardinálne číslo \| Kardinalno število \| Кардиналан број \| Kardinaltal \| Кардинальне число \| Số đếm \| 基数 (数学) \| Rhif prifol	21
Q21198 [CC \| ]	computer science	Информатика \| Computer science \| علم الحاسوب \| Računarska nauka \| علوم رایانه \| Ինֆորմատիկա \| Ilmu komputer \| 컴퓨터 과학 \| Informatică \| Računalništvo \| วิทยาการคอมพิวเตอร์ \| Інформатика \| کمپیوٹر سائنس \| Khoa học máy tính \| 计算机科学 \| 電腦科學 \| Cyfrifiadureg \| Bilgisayar bilimi \| Agham pangkompyuter \| Siyensyang pangkompyuter	21
Q211294 [CC \| ]	elementary algebra	Элементарная алгебра \| Елементарна алгебра \| Elementary algebra \| جبر ابتدائي \| Elementarna algebra \| Στοιχειώδης άλγεβρα \| جبر مقدماتی \| Álxebra elemental \| Elemi algebra \| Տարրական հանրահաշիվ \| Aljabar elementer \| 初等代数学 \| Algebra permulaan \| Álgebra elementar \| ابتدائی الجبرا \| Đại số sơ cấp \| 初等代數 \| 基本代數 \| Элементарлă алгебра	21
Q17455 [CC \| ]	John von Neumann	John von Neumann \| জন ভন নিউম্যান \| جان فون نویمان \| Neumann János \| ジョン・フォン・ノイマン \| Нейман, Джон фон \| Джон фон Нейман	21
Q76410 [CC \| ]	Leopold Kronecker	Leopold Kronecker \| Леополд Кронекер \| Леапольд Кронекер \| لئوپولد کرونکر \| Լեոպոլդ Կրոնեկեր \| レオポルト・クロネッカー \| Кронекер, Леопольд \| Леопольд Кронекер \| 利奥波德·克罗内克	21
Q191290 [CC \| ]	ordered pair	زوج مرتب \| Ordered pair \| Parell ordenat \| Geordnetes Paar \| Bikote ordenatu \| Järjestetty pari \| Par ordenado \| זוג סדור \| Rendezett pár \| Pasangan terurut \| Coppia (matematica) \| 順序対 \| 순서쌍 \| Para uporządkowana \| Упорядоченная пара \| Впорядкована пара \| Cặp được sắp \| 有序对 \| 有序對 \| Par ordinate	21
Q193756 [CC \| ]	complex analysis	複分析 \| Complex analysis \| Камплексны аналіз \| Комплексен анализ \| Μιγαδική ανάλυση \| آنالیز مختلط \| Komplex analízis \| Analisis kompleks \| Analisi complessa \| კომპლექსური ანალიზი \| 복소해석학 \| Analiza zespolona \| Análise complexa \| Analiză complexă \| Комплексный анализ \| การวิเคราะห์เชิงซ้อน \| Комплексний аналіз \| Giải tích phức \| Комплекслă анализ	20
Q208416 [CC \| ]	continuum hypothesis	Continuum hypothesis \| Hypotéza kontinua \| Kontinuumshypothese \| Hipótesis del continuo \| Kontiinumi hüpotees \| فرضیه پیوستار \| Kontinuumihypoteesi \| Hypothèse du continu \| השערת הרצף \| Hipotesis kontinum \| 連続体仮説 \| 연속체 가설 \| Hipoteza continuum \| Hipótese do continuum \| Континуум-гипотеза \| Kontinuumhypotesen \| Континуум-гіпотеза \| 连续统假设	20
Q833585 [CC \| ]	foundations of mathematics	Foundations of mathematics \| أسس الرياضيات \| Θεμέλια των μαθηματικών \| Fundamentos de las matemáticas \| بنیان‌های ریاضیات \| Fondements des mathématiques \| Fondasi matematika \| Fondamenti della matematica \| 数学基礎論 \| 수학기초론 \| Основи на математиката \| Grondslagen van de wiskunde \| Podstawy matematyki \| Fundamentos da matemática \| Основания математики \| รากฐานของคณิตศาสตร์ \| Основи математики \| 数学基础 \| 數學基礎 \| Математика никĕслевĕсем	20
Q36578 [CC \| ]	Integrated Authority File	Gemeinsame Normdatei \| קובץ בקרה משולב \| Integrált katalógustár \| Обединета нормативна податотека \| Tümleşik Otorite Dosyası \| Komuna Norma Datumaro	20
Q61043 [CC \| ]	Abraham Fraenkel	Abraham Fraenkel \| Adolf Abraham Halevi Fraenkel \| Adolf Fraenkel \| آبراهام فرنکل \| Abraham Adolf Fraenkel \| אברהם הלוי פרנקל \| アドルフ・フレンケル \| Френкель, Абрахам \| Абрахам Френкель \| 亚伯拉罕·弗兰克尔	19
Q242767 [CC \| ]	complement	Complement (set theory) \| Doplněk množiny \| Complemento de un conjunto \| Osagarri (multzo-teoria) \| متمم (نظریه مجموعه‌ها) \| Complementario (conxuntos) \| משלים (מתמטיקה) \| Komplemen (teori himpunan) \| Insieme complemento \| 差集合 \| 여집합 \| Dopełnienie zbioru \| Complementar \| Разность множеств \| Doplnok (množiny) \| Доповнення множин \| Phần bù (lý thuyết tập hợp) \| 补集 \| 補集	19
Q272404 [CC \| ]	finite set	Finite set \| Konečná množina \| 有限集合 \| مجموعة منتهية \| Πεπερασμένο σύνολο \| Lõplik hulk \| Multzo finitu \| مجموعه متناهی \| Äärellinen joukko \| Himpunan hingga \| Insieme finito \| 유한 집합 \| Conjunto finito \| Конечное множество \| Скінченна множина \| Tập hợp hữu hạn	19
Q185264 [CC \| ]	history of mathematics	数学史 \| History of mathematics \| تاريخ الرياضيات \| Ιστορία των μαθηματικών \| تاریخ ریاضیات \| Historia das matemáticas \| A matematika története \| Մաթեմատիկայի պատմություն \| Sejarah matematika \| Storia della matematica \| Historia matematyki \| História da matemática \| Istoria matematicii \| История математики \| تاریخ ریاضی \| Lịch sử toán học \| 數學史 \| Kasaysayan ng matematika	19
Q141495 [CC \| ]	mathematical optimization	Mathematical optimization \| استمثال (رياضيات) \| Βελτιστοποίηση \| بهینه‌سازی \| Optimización matemática \| Մաթեմատիկական օպտիմիզացիա \| Optimisasi \| Ottimizzazione (matematica) \| 数理最適化 \| Pengoptimuman \| Otimização \| Optimizare \| การหาค่าเหมาะที่สุด \| Оптимізація (математика) \| کاملیت (ریاضیات) \| Tối ưu hóa (toán học) \| 最优化 \| 最佳化 \| Optimisasyong matematikal	19
Q11563 [CC \| ]	number	Número \| Number \| Число \| Zenbaki \| Luku \| מספר \| Сан \| Skaitlis \| Liczba \| Număr \| Tal \| 数 \| 數 \| Númberu \| Rhif \| Numri \| Nombro	19
Q191780 [CC \| ]	ordinal number	Nombre ordinal \| Número ordinal \| Ordinal number \| عدد ترتيبي \| Ordinální číslo \| Número ordinal (teoría de conjuntos) \| عدد ترتیبی \| מספר סודר \| Rendszám (halmazelmélet) \| Bilangan ordinal \| 順序数 \| 순서수 \| Порядковое число \| Ordinaltal \| Порядкове число \| 序数 \| Trefnolyn	19
Q844718 [CC \| ]	theory of computation	Theory of computation \| نظرية الحوسبة \| Teorija računanja \| Θεωρία υπολογισμού \| نظریه محاسبات \| Teoría da computación \| Teori komputasi \| 計算理論 \| 계산 이론 \| Teori pengiraan \| Teoria obliczeń \| Teoria da computação \| Teoria computației \| Теория алгоритмов \| ทฤษฎีการคำนวณ \| Теорія алгоритмів \| 计算理论 \| 運算理論 \| Algoritmalar teorisi	19
Q193563 [CC \| ]	Bibliothèque nationale de France	Bibliothèque nationale de France \| Biblioteca Nacional de Francia \| Fransa Milli Kitabxanası \| Francouzská národní knihovna \| הספרייה הלאומית של צרפת \| Francia Nemzeti Könyvtár \| Biblioteca nazionale di Francia \| Национална библиотека на Франција \| Bibliothèque nationale \| Biblioteca Nacional da França \| Национальная библиотека Франции \| Thư viện Quốc gia Pháp \| Fransa Millî Kütüphanesi \| Nacia Biblioteko de Francio	19
Q750403 [CC \| ]	Biblioteca Nacional de España	Biblioteca Nacional de España \| Spaniens nationalbibliotek \| İspaniya Milli Kitabxanası \| Národní knihovna Španělska \| Εθνική Βιβλιοθήκη της Ισπανίας \| הספרייה הלאומית של ספרד \| Spanyol Nemzeti Könyvtár \| Biblioteca nazionale di Spagna \| Национална библиотека на Шпанија \| Hiszpańska Biblioteka Narodowa \| Biblioteca Nacional da Espanha \| Национальная библиотека Испании \| Thư viện Quốc gia Tây Ban Nha \| Biblioteca Nacional d'España \| İspanya Millî Kütüphanesi \| Nacia Biblioteko de Hispanio	19
Q212803 [CC \| ]	algebraic topology	Algebraic topology \| طوبولوجيا جبرية \| Алгебрична топология \| Αλγεβρική τοπολογία \| Topología algebraica \| توپولوژی جبری \| Հանրահաշվական տոպոլոգիա \| Topologi aljabar \| 代数的位相幾何学 \| ალგებრული ტოპოლოგია \| 대수적 위상수학 \| Topologia algebraiczna \| Topologia algébrica \| Алгебраическая топология \| Алгебрична топологія \| Tô pô đại số \| 代数拓扑 \| 代數拓撲	18
Q134787 [CC \| ]	analytic geometry	Analytic geometry \| هندسة تحليلية \| Аналітычная геаметрыя \| Аналитична геометрия \| هندسه تحلیلی \| Անալիտիկ երկրաչափություն \| Geometri analitis \| Аналитикалық геометрия \| 해석기하학 \| Geometria analityczna \| Geometrie analitică \| Аналитическая геометрия \| เรขาคณิตวิเคราะห์ \| Аналітична геометрія \| تحلیلی ہندسہ \| Hình học giải tích \| 解析几何 \| 解析幾何	18
Q729471 [CC \| ]	Cantor's diagonal argument	Cantor's diagonal argument \| Cantorova diagonální metoda \| Cantors zweites Diagonalargument \| Cantori diagonaaltõestus \| استدلال قطری کانتور \| Argument de la diagonale de Cantor \| האלכסון של קנטור \| Átlós eljárás \| カントールの対角線論法 \| 대각선 논법 \| Diagonaalbewijs van Cantor \| Argumento de diagonalização de Cantor \| Диагональный аргумент \| Cantorova diagonálna metóda \| Діагональний метод Кантора \| Lập luận đường chéo của Cantor \| 對角論證法	18
Q180536 [CC \| ]	philosophy of mathematics	Philosophy of mathematics \| فلسفة الرياضيات \| Φιλοσοφία των μαθηματικών \| فلسفه ریاضیات \| Matematikafilozófia \| Մաթեմատիկայի փիլիսոփայություն \| Filsafat matematika \| 数学の哲学 \| Filozofia matematyki \| Filosofia da matemática \| Filozofia matematicii \| Matematikfilosofi \| Філософія математики \| Triết học toán học \| 数学哲学 \| 數學哲學 \| Pilosopiya ng matematika	18
Q854531 [CC \| ]	real analysis	Real analysis \| تحليل حقيقي \| Análisis real \| آنالیز حقیقی \| Valós analízis \| Analisis real \| 실해석학 \| Analiza rzeczywista \| Análise real \| Теория функций вещественной переменной \| Реална анализа \| การวิเคราะห์เชิงจริง \| Аналіз функцій дійсної змінної \| Giải tích thực \| 实变函数论 \| 實分析 \| Чăн улшăнавçăллă функцисен теорийĕ \| Dadansoddi real	18
Q173183 [CC \| ]	boolean algebra	Boolean algebra \| جبر بول \| Bul cəbri (məntiqi) \| Àlgebra de Boole \| Álgebra de Boole \| Boolen algebra \| Algèbre de Boole (logique) \| Aljabar Boolean \| Algebra di Boole \| Algebra Booleana (logica) \| Algebră booleană \| Алгебра логики \| Алгебра логіки \| Đại số Boole \| 邏輯代數 \| Boole cebiri	17
Q474881 [CC \| ]	Cantor's theorem	Cantor's theorem \| Теорема Кантора \| Cantorova věta \| Satz von Cantor \| قضیه کانتور \| Cantorin lause \| Théorème de Cantor \| משפט קנטור \| Cantor-tétel \| カントールの定理 \| 칸토어의 정리 \| Teorema de Cantor \| Teorema lui Cantor \| Định lý đường chéo Cantor \| 康托尔定理	17
Q205140 [CC \| ]	infinite set	Nekonečná množina \| Conjunto infinito \| Infinite set \| مجموعة غير منتهية \| Lõpmatu hulk \| Multzo infinitu \| مجموعه نامتناهی \| קבוצה אינסופית \| Himpunan takhingga \| 무한 집합 \| Бесконечно множество \| Бесконечное множество \| Нескінченна множина \| Tập hợp vô hạn \| 无限集合	17
Q745328 [CC \| ]	mathematical statistics	Mathematical statistics \| إحصاء رياضي \| Матэматычная статыстыка \| Μαθηματική στατιστική \| آمار ریاضی \| Մաթեմատիկական վիճակագրություն \| Statistika matematika \| Matematikala statistiko \| მათემატიკური სტატისტიკა \| Математикалық статистика \| Математичка статистика \| Statystyka matematyczna \| Математическая статистика \| Matematična statistika \| Математична статистика \| Thống kê toán học \| 数理统计学	17
Q1147242 [CC \| ]	symmetric difference	Symmetric difference \| Symetrická diference \| Συμμετρική διαφορά \| Diferencia simétrica \| تفاضل متقارن \| הפרש סימטרי \| Beda setangkup \| Differenza simmetrica \| 対称差 \| 대칭차 \| Diferença simétrica \| Симметрическая разность \| Symetrická diferencia \| Симетрична різниця множин \| Hiệu đối xứng \| 对称差 \| Simetrikong diperensiya	17
Q132157 [CC \| ]	Zeno of Elea	Zenón de Elea \| Zeno of Elea \| Зенон от Елея \| Ζήνων ο Ελεάτης \| زنون الئایی \| Zenon Elealainen \| Զենոն Էլեացի \| Zeno dari Elea \| സെനോ \| Zeno van Elea \| Zenão de Eleia \| Зенон из Елеје \| 埃利亚的芝诺 \| Zeno o Elea \| Zenoni \| Zenono de Elajo	17
Q6955 [CC \| ]	19th century	Século XIX \| Sieglo XIX \| XIX стагоддзе \| 19. století \| XIX. mendea \| 19. aastagasada \| 19ma yarcento \| XIX secolo \| XIX საუკუნე \| Sègle XIX \| Secolul al XIX-lea \| 19. stoletje \| XIX стагодзьдзе \| Sieglu XIX \| 19. yüzyıl \| 19-a jarcento	17
Q41585 [CC \| ]	David Hilbert	David Hilbert \| ديفيد هيلبرت \| Давід Гільберт \| داویت هیلبرت \| ダフィット・ヒルベルト \| დავიდ ჰილბერტი \| Гильберт, Давид \| Давид Гільберт \| 大卫·希尔伯特 \| 希爾伯特 \| Давід Гільбэрт	17
Q184735 [CC \| ]	Bernard Bolzano	Bernard Bolzano \| Бернард Болцано \| Бернард Бальцана \| Больцано, Бернард	16
Q66707394 [CC \| ]	countable set	Countable set \| مجموعة قابلة للعد \| Conjunt numerable \| Spočetná množina \| Multzo zenbakigarri \| مجموعه شمارا \| Numeroituva joukko \| Ensemble dénombrable \| קבוצה בת מנייה \| Insieme numerabile \| 가산 집합 \| Conjunto contável \| Spočítateľná množina \| Tập hợp đếm được \| 可數集	16
Q906377 [CC \| ]	discrete geometry	Geometria discreta \| Discrete geometry \| هندسة متقطعة \| Diskretna geometrija \| Διακριτή γεωμετρία \| هندسه گسسته \| Geometri diskrit \| 離散幾何学 \| Geometri diskret \| Geometrie discretă și geometrie combinatorică \| Комбінаторна геометрія \| Hình học rời rạc \| 离散几何学 \| 離散幾何 \| Heometriyang natatangi	16
Q747534 [CC \| ]	mathematical economics	Mathematical economics \| اقتصاد رياضي \| Матэматычная эканоміка \| Μαθηματική Οικονομική \| اقتصاد ریاضی \| Matematikai közgazdaságtan \| Matematika ekonomi \| Математикалық экономика \| Ekonomia matematyczna \| Economia matemática \| Математическая экономика \| Toán kinh tế \| 数理经济学 \| 數理經濟學 \| Matematiksel ekonomi \| Ekonomikang matematikal	16
Q1056428 [CC \| ]	type theory	Type theory \| نظرية النمط \| Typentheorie \| Θεωρία τύπων \| نظریه نوع‌ها \| Théorie des types \| Teoria dei tipi \| 型理論 \| Типтер теориясы \| 유형 이론 \| Teoria typów \| Teoria dos tipos \| Теорія типів \| Lý thuyết hình thái \| 类型论 \| 類型論	16
Q620946 [CC \| ]	Library of Congress Control Number	Library of Congress Control Number \| LCCN \| Контролен број на Конгресната библиотека \| Número de controle da Biblioteca do Congresso \| Контрольный номер Библиотеки Конгресса \| Kongre Kütüphanesi Kontrol Numarası \| Kontrolnumero de la Kongresa Biblioteko de Usono	16
Q130901 [CC \| ]	binary relation	Binary relation \| علاقة ثنائية \| Бинарна релация \| Σχέση (μαθηματικά) \| Erlazio bitar \| رابطه دوتایی \| Binäärirelaatio \| Relation binaire \| Relación binaria \| יחס (תורת הקבוצות) \| 二項関係 \| Relação binária \| Бинарное отношение \| Бінарне відношення \| 二元关系	15
Q217594 [CC \| ]	class	Class (set theory) \| Třída (matematika) \| Klasse (Mengenlehre) \| کلاس (نظریه مجموعه‌ها) \| Osztály (halmazelmélet) \| Kelas (teori himpunan) \| クラス (集合論) \| 모임 (집합론) \| Klasa (matematyka) \| Classe (teoria dos conjuntos) \| Класс (математика) \| Razred (teorija množic) \| Клас (теорія множин) \| Lớp (lý thuyết tập hợp) \| 类 (数学)	15
Q130998 [CC \| ]	equivalence relation	Equivalence relation \| علاقة تكافؤ \| Relació d'equivalència \| Äquivalenzrelation \| Σχέση ισοδυναμίας \| Baliokidetasun-erlazio \| رابطه هم‌ارزی \| Ekvivalenssirelaatio \| Relación de equivalencia \| יחס שקילות \| 同値関係 \| Relacja równoważności \| 等价关系 \| 等價	15
Q1197190 [CC \| ]	multilinear algebra	Multilinear algebra \| جبر متعدد الخطية \| Πολυγραμμική άλγεβρα \| Álxebra multilinear \| Aljabar multilinear \| 多重線型代数 \| Algebra wieloliniowa \| Álgebra multilinear \| Полилинейная алгебра \| Багатолінійна алгебра \| Đại số đa tuyến tính \| 多重线性代数 \| 多重線性代數 \| Полилинилле алгебра \| Alhebrang multilinyar	15
Q200694 [CC \| ]	propositional calculus	Propositional calculus \| حساب القضايا \| Logika proposizional \| حساب گزاره‌ای \| Calcul des propositions \| Ասույթների տրամաբանություն \| Kalkulus proposisional \| 命題論理 \| Rachunek zdań \| Логика высказываний \| Числення висловлень \| 命题逻辑 \| 命題邏輯 \| Rhesymeg osodiadol \| Ütjsaagenloogik	15
Q203066 [CC \| ]	relation	Finitary relation \| Relace (matematika) \| Relation (matematik) \| Relation (Mathematik) \| Seos (matemaatika) \| Relaatio \| Relation (mathématiques) \| Reláció \| 関係 (数学) \| Relacja (matematyka) \| Relation (mathematics) \| Відношення \| 关系 (数学) \| 關係 (數學)	14
Q1055058 [CC \| ]	fuzzy set	Conjunto difuso \| Fuzzy set \| Fuzzy množina \| مجموعه‌های فازی \| Himpunan kabur \| Insieme sfocato \| ファジィ集合 \| Неопределено множество \| Нечёткое множество \| Neostrá množina \| Нечітка множина \| Tập mờ \| 模糊集	14
Q876215 [CC \| ]	harmonic analysis	Harmonic analysis \| تحليل توافقي \| Гарманічны аналіз \| Хармоничен анализ \| آنالیز هارمونیک \| Analisi armonica \| 조화해석학 \| Analiza harmoniczna \| Analiză armonică \| Гармонический анализ \| Гармонічний аналіз \| 調和分析 \| 諧波分析 \| Гармонилле анализ	14
Q12503 [CC \| ]	integer	Integer \| عدد صحيح \| Zenbaki oso \| Entier relatif \| Egész számok \| Numero intero \| Numerus integer \| Geheel getal \| Целое число \| Цео број \| 整數 \| Бөтөн һан \| Cyfanrif \| Numrat e plotë	14
Q751611 [CC \| ]	mathematical biology	數理生物學 \| Mathematical and theoretical biology \| زیست‌شناسی ریاضی و نظری \| Biomatematika \| Biologi matematika dan teori \| Biologia teorica \| Biomatematyka \| Biologia matemática e teórica \| Математическая биология \| คณิตศาสตร์ชีววิทยา \| نظریاتی حیاتیات \| Toán sinh học \| Matematiksel ve teorik biyoloji	14
Q163335 [CC \| ]	Principia Mathematica	Principia Mathematica \| Principia Mathematica (Russell-Whitehead) \| مبادی ریاضیات \| 수학 원리 \| 数学原理	14
Q1128796 [CC \| ]	uncountable set	Uncountable set \| مجموعة غير قابلة للعد \| Nespočetná množina \| Multzo ez zenbakigarri \| مجموعه ناشمارا \| Ylinumeroituva joukko \| קבוצה שאינה בת מנייה \| 非可算集合 \| Conjunto não enumerável \| Несчётное множество \| Nespočítateľná množina \| Tập hợp không đếm được \| 不可數集	14
Q33057 [CC \| ]	International Standard Book Number	ISBN \| International Standard Book Number \| النظام القياسي الدولي لترقيم الكتب \| Διεθνής πρότυπος αριθμός βιβλίου \| شماره استاندارد بین‌المللی کتاب \| Međunarodni standardni broj knjige \| د کتاب نړيواله کره شمېره	14
Q60028 [CC \| ]	Gottlob Frege	Gottlob Frege \| جوتلوب فريجه \| گوتلوب فرگه \| ゴットロープ・フレーゲ \| Friedrich Ludwig Gottlob Frege \| Готлоб Фреге \| 戈特洛布·弗雷格	14
Q118455746 [CC \| ]	authority control	Autoritetsdata \| Normativ yoxlama \| Control d'autoritats \| Autoritní kontrola \| Κατάλογος καθιερωμένων όρων \| Control de autoridades \| Autoritatīvā vadība \| Нормативна контрола \| Kontrola autorytatywna \| Auktoritetsdata \| Kiểm soát tính nhất quán \| Otorite kontrolü \| Norma datumaro	14
Q10843274 [CC \| ]	analytic number theory	Analytic number theory \| نظرية الأعداد التحليلية \| Αναλυτική θεωρία αριθμών \| نظریه تحلیلی اعداد \| Teoria analitica dei numeri \| 해석적 수론 \| Analityczna teoria liczb \| Analitična teorija števil \| Аналітична теорія чисел \| تحلیلی نظریہ عدد \| Lý thuyết số giải tích \| 解析数论 \| 解析數論	13
Q262759 [CC \| ]	antinomy	Antinomia \| 二律背反 \| Antinomy \| Antinómia \| Անտինոմիա \| Антиномија \| Антиномія	13
Q818930 [CC \| ]	computability theory	Computability theory \| Θεωρία υπολογισιμότητας \| Teoría de la computabilidad \| نظریه رایانش‌پذیری \| Teoria della calcolabilità \| 計算可能性理論 \| 계산 가능성 이론 \| Teoria obliczalności \| Теорія обчислюваності \| Lý thuyết tính toán \| 可计算性理论 \| Hesaplanabilirlik teorisi	13
Q1122491 [CC \| ]	computational mathematics	Computational mathematics \| رياضيات محوسبة \| Υπολογιστικά μαθηματικά \| ریاضیات محاسباتی \| Matematika komputasi \| Сандық талдау \| Matematik pengiraan \| Matemática computacional \| Обчислювальна математика \| Toán học tính toán \| 运算数学 \| 運算數學 \| Matematikang komputasyonal	13
Q6501221 [CC \| ]	control theory	Control theory \| نظرية التحكم \| Θεωρία ελέγχου \| نظریه کنترل \| Teoría de control \| 制御理論 \| Teori kawalan \| Teoria sterowania \| ทฤษฎีระบบควบคุม \| Теорія керування \| Lý thuyết điều khiển tự động \| 控制理論 \| Teorya ng kontrol	13
Q621550 [CC \| ]	general topology	General topology \| طوبولوجيا عامة \| Γενική τοπολογία \| Topología general \| توپولوژی عمومی \| Yleinen topologia \| Topoloxía xeral \| Topologi umum \| 일반위상수학 \| Topologia geral \| Общая топология \| Загальна топологія \| 点集拓扑学	13
Q81082 [CC \| ]	Henri Poincaré	Henri Poincaré \| Анры Пуанкарэ \| Анри Поанкаре \| Անրի Պուանկարե \| Пуанкаре, Анри \| Анрі Пуанкаре \| Henri Poincare	13
Q335632 [CC \| ]	mathematical finance	數理金融學 \| Mathematical finance \| رياضيات مالية \| Finansijska matematika \| ریاضیات مالی \| Matematika keuangan \| Matematica finanziaria \| Matematyka finansowa \| Финансовая математика \| คณิตศาสตร์การเงิน \| مالیاتی ریاضی \| Toán tài chính	13
Q467606 [CC \| ]	model theory	Model theory \| نظرية النموذج \| Teoría de modelos \| نظریه مدل \| Théorie des modèles \| Teori model \| Teoria dei modelli \| モデル理論 \| 모형 이론 \| Teoria modeli \| Teoria dos modelos \| Теорія моделей \| 模型论	13
Q1636734 [CC \| ]	universal algebra	Universal algebra \| جبر شامل \| جبر جهانی \| Aljabar universal \| Algebra uniwersalna \| Algebră universală \| Универсальная алгебра \| Універсальна алгебра \| عالمی الجبرا \| Đại số phổ dụng \| 泛代数 \| 泛代數 \| Универсаллă алгебра	13
Q278770 [CC \| ]	Von Neumann–Bernays–Gödel set theory	Von Neumann–Bernays–Gödel set theory \| Von Neumannova–Bernaysova–Gödelova teorie množin \| Neumann-Bernays-Gödel-Mengenlehre \| Teoría de conjuntos de Von Neumann-Bernays-Gödel \| Théorie des ensembles de von Neumann-Bernays-Gödel \| Neumann–Bernays–Gödel-halmazelmélet \| Teoria degli insiemi di Von Neumann-Bernays-Gödel \| フォン・ノイマン＝ベルナイス＝ゲーデル集合論 \| 폰 노이만-베르나이스-괴델 집합론 \| Teoria dos conjuntos de Von Neumann-Bernays-Gödel \| Система аксиом фон Неймана — Бернайса — Гёделя \| Теорія множин фон Неймана — Бернайса — Геделя \| 冯诺伊曼-博内斯-哥德尔集合论	13
Q214969 [CC \| ]	Willard Van Orman Quine	Willard Van Orman Quine \| ویلارد کواین \| ウィラード・ヴァン・オーマン・クワイン \| Willard van Orman Quine \| Куайн, Уиллард Ван Орман \| Віллард Ван Орман Квайн \| 威拉德·范·奥曼·蒯因	13
Q1860 [CC \| ]	English	اللغة الإنجليزية \| زبان انگلیسی \| Englannin kieli \| अंग्रेज़ी भाषा \| 英語 \| 영어 \| Английский язык \| Енглески језик \| 英文 \| Инглиз теле \| ענגליש \| زمانی ئینگلیزی \| ইংৰাজী ভাষা	13
Q1967876 [CC \| ]	National Library of the Czech Republic	Çex Respublikası Milli Kitabxanası \| Národní knihovna České republiky \| Tjekkisk nationalbibliotek \| Biblioteca Nacional de la República Checa \| Biblioteca Nacional da República Checa \| הספרייה הלאומית של צ'כיה \| A Cseh Köztársaság Nemzeti Könyvtára \| Национална библиотека на Чешка \| Biblioteka Narodowa Republiki Czeskiej \| Национальная библиотека Чешской Республики \| Tjeckiska nationalbiblioteket \| Çek Cumhuriyeti Millî Kütüphanesi \| Nacia Biblioteko de la Ĉeĥa Respubliko	13
Q1244890 [CC \| ]	rational number	Rationale Zahl \| Рацыянальны лік \| Zenbaki arrazional \| Rationaaliluku \| Nombre rationnel \| מספר רציונלי \| Numero razionale \| Rationaal getal \| Рациональное число \| Số hữu tỉ \| 有理數 \| Рациональ һан	13
Q904423 [CC \| ]	axiomatic set theory	Axiomatická teorie množin \| Axiomatische Mengenlehre \| Aksiomaattinen joukko-oppi \| תורת הקבוצות האקסיומטית \| Axiomatikus halmazelmélet \| Teoria assiomatica degli insiemi \| 公理的集合論 \| Axiomatische verzamelingenleer \| Аксиоматическая теория множеств \| Аксиоматска теорија скупова \| Mängdteoretiska axiom \| Аксіоматика теорії множин \| Damcaniaeth setiau wirebol	13
Q477675 [CC \| ]	National Diet Library	Biblioteca Nacional da Dieta \| Národní parlamentní knihovna Japonska \| Nationale parlamentsbibliotek \| Biblioteca Nacional de la Dieta \| ספריית הדיאט הלאומית \| Országgyűlési Könyvtár (Japán) \| Biblioteca della Dieta nazionale del Giappone \| Национална парламентарна библиотека (Јапонија) \| Национальная парламентская библиотека (Япония) \| Nationella parlamentsbiblioteket \| Millî Diyet Kütüphanesi \| Nacia Biblioteko de Dieto	13
Q613048 [CC \| ]	algebraic number theory	代數數論 \| Algebraic number theory \| نظرية الأعداد الجبرية \| نظریه جبری اعداد \| Algebrai számelmélet \| Teori bilangan aljabar \| Teoria algebrica dei numeri \| 대수적 수론 \| Algebraiczna teoria liczb \| Алгебраїчна теорія чисел \| Lý thuyết số đại số	12
Q1936384 [CC \| ]	area of mathematics	Areas of mathematics \| مجالات الرياضيات \| Раздзелы матэматыкі \| Teilgebiete der Mathematik \| شاخه‌های ریاضیات \| Bidang matematika \| Aree della matematica \| Áreas da matemática \| Розділи математики \| 数学领域 \| Математика уйрăмĕсем \| Matematiğin dalları	12
Q740424 [CC \| ]	axiom of extensionality	Axiom of extensionality \| Axioma d'extensionalitat \| Extensionalitätsaxiom \| Ekstensionaalsuse aksioom \| Axiome d'extensionnalité \| אקסיומת ההיקפיות \| Aksioma perluasan \| 外延性の公理 \| Axioma da extensão \| Аксиома объёмности \| Аксіома об'ємності \| 外延公理	12
Q920450 [CC \| ]	axiom of infinity	Axiom of infinity \| Axioma de l'infinit \| اصل موضوع بی‌نهایت \| Axiome de l'infini \| אקסיומת הקבוצה האינסופית \| 無限公理 \| 무한 공리 \| Axioma do infinito \| Аксиома бесконечности \| Аксіома нескінченності \| 无穷公理 \| Aksiomo de senfineco	12
Q1361825 [CC \| ]	axiom schema of replacement	Axiom schema of replacement \| Schéma nahrazení \| Ersetzungsaxiom \| Esquema axiomático de reemplazo \| اصول موضوع جایگزینی \| Schéma d'axiomes de remplacement \| אקסיומת ההחלפה \| 置換公理 \| Axioma da substituição \| Схема преобразования \| Аксіомна схема підстановки \| 替代公理	12
Q1010269 [CC \| ]	Burali-Forti paradox	Burali-Forti paradox \| Burali-Fortiho paradox \| پارادوکس بورالی-فورتی \| Paradoxe de Burali-Forti \| הפרדוקס של בורלי-פורטי \| Paradosso di Burali-Forti \| ブラリ＝フォルティのパラドックス \| 부랄리포르티 역설 \| Paradoxo de Burali-Forti \| Парадокс Бурали-Форти \| Buraliho-Fortiho paradox \| Парадокс Буралі-Форті	12
Q8789 [CC \| ]	cryptography	Cryptography \| رمزنگاری \| Kriptográfia \| Crittografia \| 암호학 \| Criptografia \| Criptografie \| Криптографія \| Mật mã học \| 密码学 \| 密碼學 \| Kriptografi	12
Q192276 [CC \| ]	measure	Measure (mathematics) \| قياس (رياضيات) \| Мера мноства \| Mjera (matematika) \| اندازه (ریاضیات) \| Mérték (matematika) \| Ukuran (matematika) \| Misura (matematica) \| Мера множества \| 测度 \| 測度 \| Йыш виçи	12
Q216809 [CC \| ]	Paul Cohen	Paul Cohen \| پل کوهن (ریاضیدان) \| ポール・コーエン (数学者) \| Paul Cohen (matemático) \| Коэн, Пол Джозеф \| Paul Cohen (matematik) \| Пол Джозеф Коен \| 保罗·寇恩	12
Q170790 [CC \| ]	mathematician	Математик \| عالم رياضيات \| Μαθηματικός \| Mathématicien \| מתמטיקאי \| Matematikus \| 수학자 \| Mathematicus \| Ahli matematik \| 數學家 \| Matematikçi	12
Q8366 [CC \| ]	algorithm	Algoritmus \| Algorithm \| Алгарытм \| الگوریتم \| 알고리즘 \| Algoritem \| Алгоритм \| 算法 \| 演算法 \| Algoritma	11
Q1077811 [CC \| ]	axiom of power set	Axiom of power set \| Axioma del conjunto potencia \| اصل موضوع مجموعه توانی \| Axiome de l'ensemble des parties \| אקסיומת קבוצת החזקה \| 冪集合公理 \| 멱집합 공리 \| Axioma da potência \| Аксиома степени \| Аксіома булеана \| 幂集公理	11
Q727659 [CC \| ]	commutative algebra	交換代數 \| Commutative algebra \| جبر تبادلي \| جبر جابجایی \| 가환대수학 \| Algebra przemienna \| Коммутативная алгебра \| Комутативна алгебра \| Đại số giao hoán \| Коммутативлă алгебра	11
Q205084 [CC \| ]	computational complexity theory	Computational complexity theory \| نظرية التعقيد الحسابي \| Θεωρία πολυπλοκότητας \| نظریه پیچیدگی محاسباتی \| 計算複雑性理論 \| 계산 복잡도 이론 \| Teoria complexității \| Теорія складності обчислень \| Lý thuyết độ phức tạp tính toán \| 計算複雜性理論 \| Hesaplamalı karmaşıklık teorisi	11
Q173300 [CC \| ]	De Morgan's laws	De Morgan's laws \| De Morganovy zákony \| قوانین دمورگان \| Lois de De Morgan \| ド・モルガンの法則 \| 드 모르간의 법칙 \| Teoremas de De Morgan \| De Morganove zákony \| Правила де Моргана \| Luật De Morgan \| 德摩根定律	11
Q122318 [CC \| ]	Paul Bernays	Paul Bernays \| پل برنایز \| パウル・ベルナイス \| Бернайс, Пауль \| Isaak Paul Bernays	11
Q842755 [CC \| ]	Peano axioms	Peano axioms \| Аксіёмы Пеана \| Peano-Axiome \| Αξιώματα Πεάνο \| Peanon aksioomat \| Aksioma Peano \| Assiomi di Peano \| ペアノの公理 \| Axiomas de Peano \| Аксіоми Пеано \| 皮亚诺公理	11
Q9492 [CC \| ]	probability	概率 \| Probability \| Vjerovatnoća \| احتمالات \| 確率 \| Probabilidade \| Probabilitate \| ความน่าจะเป็น \| Xác suất \| Olasılık	11
Q191029 [CC \| ]	Giuseppe Peano	Giuseppe Peano \| جوزيبه بيانو \| جوزپه پئانو \| ジュゼッペ・ペアノ \| 주세페 페아노 \| Пеано, Джузеппе \| Джузеппе Пеано \| 朱塞佩·皮亞諾	11
Q8084 [CC \| ]	trigonometry	Трыганаметрыя \| Тригонометрия \| Trigonometría \| Trigonometri \| 三角法 \| Goniometrie \| Trygonometria \| Trigonometria \| Trigonometrie \| Тригонометрія \| Тригонометри	11
Q837863 [CC \| ]	pure mathematics	Matemática pura \| Καθαρά μαθηματικά \| ریاضیات محض \| Matematika murni \| Pura matematiko \| Matematik tulen \| Matematyka czysta \| Čista matematika \| Чиста математика \| 純粹數學	11
Q11660 [CC \| ]	artificial intelligence	Artificial intelligence \| Штучны інтэлект \| هوش مصنوعی \| 인공지능 \| Искусственный интеллект \| Штучний інтелект \| Trí tuệ nhân tạo \| 人工智能 \| Яһалма интеллект \| Yapay zekâ	10
Q1987722 [CC \| ]	axiom of union	Axiom of union \| اصل موضوع اجتماع \| Axiome de la réunion \| אקסיומת האיחוד \| 和集合の公理 \| Aksjomat sumy \| Axioma da união \| Аксиома объединения \| Аксіома об'єднання \| 并集公理	10
Q1224402 [CC \| ]	differential topology	Differential topology \| طوبولوجيا تفاضلية \| توپولوژی دیفرانسیل \| 미분위상수학 \| Topologia różniczkowa \| Дифференциальная топология \| Diferencialna topologija \| Диференціальна топологія \| Tô pô vi phân \| 微分拓扑	10
Q180159 [CC \| ]	list of mathematical symbols	Glossary of mathematical symbols \| قائمة الرموز الرياضية \| Tabela matematičkih simbola \| Liste mathematischer Symbole \| סימון מתמטי \| 数学記号の表 \| Таблиця математичних символів \| Danh sách ký hiệu toán học \| 数学符号表 \| 數學符號	10
Q200787 [CC \| ]	Gödel's incompleteness theorems	Gödel's incompleteness theorems \| Gödelovy věty o neúplnosti \| Gödelscher Unvollständigkeitssatz \| Teoremas de incompletitud de Gödel \| Théorèmes d'incomplétude de Gödel \| ゲーデルの不完全性定理 \| Theoremata Gödel de imperfectione \| Onvolledigheidsstellingen van Gödel \| 哥德尔不完备定理	10
Q579978 [CC \| ]	homological algebra	Homological algebra \| جبر تماثلي \| جبر همولوژی \| Aljabar homologis \| 호몰로지 대수학 \| Algebra homologiczna \| Гомологическая алгебра \| Гомологічна алгебра \| 同調代數 \| Гомологилле алгебра	10
Q194292 [CC \| ]	operations research	運籌學 \| Operations research \| بحوث العمليات \| Επιχειρησιακή έρευνα \| تحقیق در عملیات \| Riset operasi \| Ricerca operativa \| Исследование операций \| Дослідження операцій	10
Q24175351 [CC \| ]	order theory	Order theory \| نظرية الترتيب \| Θεωρία διάταξης \| نظریه ترتیب \| Teori order \| Teoria degli ordini \| Теорія порядку \| Lý thuyết thứ tự \| 序理论 \| 序理論	10
Q108163 [CC \| ]	proposition	Proposition \| 命題 \| قضية (فلسفة) \| Proposició (lògica) \| Výrok (logika) \| گزاره (منطق) \| Proposition (philosophie) \| Proposisi	10
Q161172 [CC \| ]	ring	Ring (mathematics) \| Anell (matemàtiques) \| Δακτύλιος (άλγεβρα) \| Eraztun (matematika) \| حلقه (ریاضیات) \| Rengas (matematiikka) \| Anel (álxebra) \| Gyűrű (matematika) \| 环 (代数) \| Modrwy (mathemateg)	10
Q548080 [CC \| ]	Thoralf Skolem	Thoralf Skolem \| تورالف اسکولم \| トアルフ・スコーレム \| Thoralf Albert Skolem \| Скулем, Туральф \| 托拉尔夫·斯科伦	10
Q125977 [CC \| ]	vector space	Vector space \| Espai vectorial \| Διανυσματικός χώρος \| Bektore espazio \| Vektoriavaruus \| Espazo vectorial \| Векторное пространство \| 向量空间 \| 向量空間 \| Gofod fector	10
Q6927 [CC \| ]	20th century	XX стагоддзе \| 20. aastagasada \| המאה ה-20 \| Saeculum 20 \| Abad ke-20 \| Século XX \| 20. stoletje \| XX стагодзьдзе \| Sieglu XX \| 20. yüzyıl	10
Q3303153 [CC \| ]	axiom of dependent choice	Axiom of dependent choice \| Axiom závislého výběru \| 従属選択公理 \| 의존적 선택 공리 \| Axioma electionis consequentis \| Princípio da Escolha Dependente \| Аксиома зависимого выбора \| Аксіома залежного вибору \| 依賴選擇公理	9
Q164307 [CC \| ]	binary operation	Binary operation \| Operación binaria \| عملية ثنائية \| Бинарна операция \| 二項演算 \| Operação binária \| Бінарна операція	9
Q874709 [CC \| ]	computational geometry	Computational geometry \| Υπολογιστική γεωμετρία \| هندسه محاسباتی \| 계산기하학 \| Geometria obliczeniowa \| Обчислювальна геометрія \| Hình học tính toán \| 计算几何 \| Hesaplamalı geometri	9
Q1319773 [CC \| ]	consistency	Consistency \| Widerspruchsfreiheit \| Consistencia (lógica) \| سازگاری (منطق ریاضی) \| Cohérence (logique) \| Consistência \| Непротиворечивость \| 一致性 (邏輯) \| 邏輯一致性	9
Q225869 [CC \| ]	descriptive set theory	Descriptive set theory \| Deskriptive Mengenlehre \| Teoría descriptiva de conjuntos \| Théorie descriptive des ensembles \| 記述集合論 \| Opisowa teoria mnogości \| Teoria descritiva de conjuntos \| Дескриптивная теория множеств \| 描述集合論	9
Q1077896 [CC \| ]	finite geometry	Finite geometry \| هندسة منتهية \| هندسه متناهی \| Geometri hingga \| 有限幾何学 \| Geometria finita \| Скінченна геометрія \| Hình học hữu hạn \| 有限幾何學	9
Q4055684 [CC \| ]	first-order logic	First-order logic \| منطق الرتبة الأولى \| Lògica de primer ordre \| منطق مرتبه اول \| Calcul des prédicats \| Պրեդիկատների տրամաբանություն \| 一階述語論理 \| Логика првог реда \| Логіка першого порядку	9
Q408386 [CC \| ]	inference	Inference \| استدلال (بحث علمي) \| Zaključak \| Inférence (logique) \| 推論 \| Inferență \| Висновок \| Suy luận \| 推理	9
Q1548262 [CC \| ]	large cardinal	Large cardinal \| Velké kardinály \| Cardinal grande \| 巨大基数 \| 큰 기수 \| Duże liczby kardynalne \| Propriedade de grande cardinal \| Великі кардинальні числа \| 大基数	9
Q9391 [CC \| ]	Ludwig Wittgenstein	Ludwig Wittgenstein \| ルートヴィヒ・ウィトゲンシュタイン \| 路德维希·维特根斯坦	9
Q853077 [CC \| ]	mathematics education	Mathematics education \| تعليم الرياضيات \| Pendidikan matematika \| 算数・数学教育 \| Dydaktyka matematyki \| Educação matemática \| Giáo dục toán học \| 数学教育 \| Matematik eğitimi	9
Q491412 [CC \| ]	philosophical logic	Philosophical logic \| منطق فلسفي \| Lógica filosófica \| منطق فلسفی \| Logique philosophique \| 哲学的論理学 \| Logic triết học \| 哲学逻辑 \| 哲學邏輯	9
Q5891 [CC \| ]	philosophy	哲学 \| Philosophy \| Філасофія \| Filosofía \| Filosop \| 哲學 \| Athroniaeth \| Pilosopiya	9
Q9143 [CC \| ]	programming language	Programming language \| Мова праграмавання \| زبان برنامه‌نویسی \| 프로그래밍 언어 \| Мова програмування \| Ngôn ngữ lập trình \| 编程语言 \| Iaith rhaglennu \| Programlama dili	9
Q852732 [CC \| ]	proof theory	Proof theory \| نظرية البرهان \| نظریه برهان \| Théorie de la démonstration \| Teoria della dimostrazione \| 証明論 \| 증명 이론 \| Teoria dowodu \| 证明论	9
Q107342 [CC \| ]	syllogism	Syllogism \| قياس (منطق) \| قیاس \| Syllogisme \| Silogisme \| 三段論法 \| Силогізм \| 定言三段論	9
Q65943 [CC \| ]	theorem	Theorem \| مبرهنة \| Matematická věta \| قضیه \| Teorema \| 定理 \| Teoremă \| Теорема	9
Q840810 [CC \| ]	transfinite induction	Transfinite induction \| Transfinitní indukce \| استقرای ترامتناهی \| אינדוקציה טרנספיניטית \| Indução transfinita \| Трансфинитная индукция \| Трансфінітна індукція \| Quy nạp siêu hạn \| 超限归纳法	9
Q671944 [CC \| ]	transitive set	Transitive set \| Tranzitivní třída \| مجموعه متعدی (نظریه مجموعه‌ها) \| 推移的集合 \| 추이적 집합 \| Conjunto transitivo \| Транзитивное множество \| Транзитивна множина \| 传递集合	9
Q163310 [CC \| ]	Turing machine	Turing machine \| Máquina de Turing \| Turingin kone \| Macchina di Turing \| チューリングマシン \| 图灵机 \| Makina Turing	9
Q565 [CC \| ]	Wikimedia Commons	Wikimedia Commons \| ويكيميديا كومنز \| 위키미디어 공용	9
Q15614122 [CC \| ]	measure theory	Тэорыя меры \| Θεωρία μέτρου \| 측도론 \| Teoria miary \| Teoria da medida \| Teoria măsurii \| Teorija mere \| Теорія міри \| Lý thuyết độ đo	9
Q101072 [CC \| ]	definition	Definicija \| 定義 \| Definició \| Définition \| Definiție \| Định nghĩa \| 定义	9
Q10856991 [CC \| ]	Zermelo–Fraenkel set theory with choice	ZFC	9
Q57103 [CC \| ]	Karl Weierstraß	Karl Weierstrass \| کارل وایرشتراس \| Вейерштрасс, Карл \| Карл Вајерштрас	9
Q1000116 [CC \| ]	axiom of countable choice	Axiom of countable choice \| Axiom spočetného výběru \| اصل انتخاب شمارا \| 可算選択公理 \| 가산 선택 공리 \| Аксиома счётного выбора \| Аксіома зліченного вибору \| 可数选择公理	8
Q920796 [CC \| ]	axiom of pairing	Axiom of pairing \| اصل موضوع زوج‌سازی \| Axiome de la paire \| 対の公理 \| Axioma do par \| Аксиома пары \| Аксіома пари \| 配对公理	8
Q470981 [CC \| ]	axiom of regularity	Axiom of regularity \| Axiome de fondation \| אקסיומת היסוד \| 正則性公理 \| Axioma da regularidade \| Аксиома регулярности \| Аксіома регулярності \| 正则性公理	8
Q780487 [CC \| ]	axiom schema of specification	Axiom schema of specification \| اصل موضوع تصریح \| Schéma d'axiomes de compréhension \| 分出公理 \| Axioma da separação \| Схема выделения \| Аксіомна схема виділення \| 分类公理	8
Q792542 [CC \| ]	axiomatic system	Sistema axiomático \| Axiomatic system \| Аксиоматичен метод \| Système axiomatique \| Sistem aksiom \| Sistem axiomatic \| Аксіоматика	8
Q1003136 [CC \| ]	forcing	Forsing \| Forcing (mathematics) \| Forzado (matemáticas) \| Forcing \| 강제법 \| Forçamento \| 力迫	8
Q44325 [CC \| ]	ontology	Ontology \| هستی‌شناسی \| Ontoloxía \| Ontologi \| 存在論 \| Ontologia \| 本体论 (哲学) \| Ontologjia	8
Q1410503 [CC \| ]	recreational mathematics	Recreational mathematics \| رياضيات مسلية \| Ψυχαγωγικά μαθηματικά \| Matematika rekreasi \| Matematica ricreativa \| Matematică recreativă \| Рекреаційна математика \| 娛樂數學	8
Q179976 [CC \| ]	recursion	Recursion \| عودية \| רקורסיה \| Rekursi \| 再帰 \| Rekurencja \| Рекурсія	8
Q1047000 [CC \| ]	validity	Validity (logic) \| صحة (المنطق) \| Validité (logique) \| 妥当性 \| Validitate \| Чинність \| 有效性 \| 邏輯效度	8
Q191853 [CC \| ]	Zermelo set theory	Zermelo set theory \| Zermelo-Mengenlehre \| Zermelo aksiomaatika \| Teoria degli insiemi di Zermelo \| Teorìa dj'ansem ëd Zermelo \| Teoria de conjuntos de Zermelo \| Теорія множин Цермело \| 策梅洛集合论	8
Q207534 [CC \| ]	Alfred Tarski	Alfred Tarski \| ألفريد تارسكي \| آلفرد تارسکی \| アルフレト・タルスキ \| 阿尔弗雷德·塔斯基	8
Q1133733 [CC \| ]	National Library of Latvia	Latviya Milli Kitabxanası \| Lotyšská národní knihovna \| הספרייה הלאומית של לטביה \| Latvijas Nacionālā bibliotēka \| Biblioteka Narodowa Łotwy \| Латвийская национальная библиотека \| Thư viện quốc gia Latvia \| Letonya Millî Kütüphanesi	8
Q188 [CC \| ]	German	Нямецкая мова \| Alemany \| زبان آلمانی \| גרמנית \| Немецкий язык \| Немачки језик \| Немец теле	8
Q13220368 [CC \| ]	representation theory	Тэорыя прадстаўленняў \| Teoría da representación \| Teori representasi \| 表現論 \| Teoria de representação \| Теория представлений \| Теорія представлень \| Майлаштарусен теорийĕ	8
Q638328 [CC \| ]	dynamical system	Δυναμικό σύστημα \| Sistema dinamico \| 力学系 \| Sistem dinamik \| Układ dynamiczny \| Sistema dinâmico \| Динамическая система \| 動態系統	8
Q17737 [CC \| ]	theory	理論 \| Θεωρία \| Teoria \| Teorie \| Теорія \| Teori \| טעאריע	8
Q455 [CC \| ]	Encyclopædia Britannica	Encyclopædia Britannica \| Enciclopedia Británica \| אנציקלופדיה בריטניקה \| Enciclopedia Britannica \| Encyklopedia Britannica	8
Q10565797 [CC \| ]	algebra of sets	Algebra of sets \| Álgebra de conjuntos \| Multzoen arteko aljebra \| Algèbre des parties d'un ensemble \| 集合の代数学 \| Алгебра множин \| 集運算	7
Q186619 [CC \| ]	argument	Argument \| حجة (منطق) \| برهان (منطق) \| 論証 \| Аргумент \| 逻辑论证	7
Q214526 [CC \| ]	automata theory	Automata theory \| 오토마타 이론 \| Теорія автоматів \| Lý thuyết Automat \| 自動機理論 \| Otomat teorisi	7
Q737851 [CC \| ]	Banach–Tarski paradox	Banach–Tarski paradox \| Paradoxa de Banach-Tarski \| Paradoxe de Banach-Tarski \| 바나흐-타르스키 역설 \| Paradoks Banacha-Tarskiego \| Парадокс Банаха — Тарського	7
Q379078 [CC \| ]	Cantor's paradox	Cantor's paradox \| Cantorův paradox \| Cantorsche Antinomie \| Paradoxe de Cantor \| 칸토어 역설 \| Парадокс Кантора \| 康托尔悖论	7
Q309157 [CC \| ]	Church-Turing thesis	Church–Turing thesis \| أطروحة تشرش-تورينغ \| Thèse de Church \| チャーチ＝チューリングのテーゼ \| Теза Черча — Тюрінга \| 邱奇-图灵论题	7
Q236975 [CC \| ]	classical logic	Classical logic \| منطق کلاسیک \| Logique classique \| 古典論理 \| Lógica clássica \| Класична логіка \| 古典邏輯	7
Q877945 [CC \| ]	recursive set	Computable set \| مجموعه بازگشتی \| Insieme ricorsivo \| 帰納的集合 \| Conjunto recursivo \| Разрешимое множество \| 递归集合	7
Q369472 [CC \| ]	computational chemistry	Computational chemistry \| شیمی محاسباتی \| 계산화학 \| Обчислювальна хімія \| Hóa học tính toán \| 计算化学 \| Bilgisayarlı kimya	7
Q182557 [CC \| ]	computational linguistics	Computational linguistics \| زبان‌شناسی رایانشی \| 전산언어학 \| Linguística computacional \| Ngôn ngữ học tính toán \| 计算语言学 \| Bilgisayarlı dilbilim	7
Q173212 [CC \| ]	computer architecture	Computer architecture \| معماری رایانه \| 컴퓨터 구조 \| Архітектура комп'ютера \| Kiến trúc máy tính \| 计算机系统结构 \| Bilgisayar mimarisi	7
Q1301371 [CC \| ]	computer network	Computer network \| شبکه رایانه‌ای \| 컴퓨터 네트워크 \| Комп'ютерна мережа \| Mạng máy tính \| 计算机网络 \| Bilgisayar ağı	7
Q844240 [CC \| ]	computer vision	Computer vision \| بینایی رایانه‌ای \| 컴퓨터 비전 \| Комп'ютерний зір \| Thị giác máy tính \| 计算机视觉 \| Bilgisayarlı görü	7
Q172491 [CC \| ]	data mining	Data mining \| داده‌کاوی \| 데이터 마이닝 \| Добування даних \| Khai phá dữ liệu \| 数据挖掘 \| Veri madenciliği	7
Q177571 [CC \| ]	decision theory	Decision theory \| Teoria decyzji \| Teoria da decisão \| Теория принятия решений \| Lý thuyết quyết định \| 決策論 \| Karar teorisi	7
Q180634 [CC \| ]	distributed computing	Distributed computing \| رایانش توزیع‌شده \| 분산 컴퓨팅 \| Розподілені обчислення \| Điện toán phân tán \| 分布式计算 \| Dağıtık hesaplama	7
Q192439 [CC \| ]	domain of a function	Domain of a function \| منطلق دالة \| תחום של פונקציה \| 定義域 \| 정의역 \| Область визначення \| Parth y ffwythiant	7
Q1049183 [CC \| ]	formal methods	Formal methods \| روش‌های صوری \| 정형 기법 \| Формальні методи \| Các phương pháp hình thức \| 形式化方法 \| Biçimsel yöntemler	7
Q1331373 [CC \| ]	inaccessible cardinal	Inaccessible cardinal \| Cardinal inaccesible \| 到達不能基数 \| 도달 불가능한 기수 \| Liczba nieosiągalna \| Cardinal inacessível \| 不可達基數	7
Q374182 [CC \| ]	logical consequence	Logical consequence \| استتباع منطقي \| Déduction logique \| Konsekuensi logis \| 論理的帰結 \| Умовивід \| 結論	7
Q92767 [CC \| ]	Lotfi A. Zadeh	Lotfi A. Zadeh \| Lotfi Zadeh \| لطفی زاده \| Lotfali Askar-Zadeh \| Лотфі Заде	7
Q2539 [CC \| ]	machine learning	Machine learning \| یادگیری ماشین \| 기계 학습 \| Машинне навчання \| Học máy \| 机器学习 \| Makine öğrenimi	7
Q622185 [CC \| ]	Martin's axiom	Martin's axiom \| 마틴 공리 \| Aksjomat Martina \| Axioma de Martin \| Аксиома Мартина \| Аксіома Мартіна \| 馬丁公理	7
Q2556886 [CC \| ]	mathematical chemistry	Mathematical chemistry \| كيمياء رياضية \| Kimia matematika \| Química matemática \| Математическая химия \| Hóa học toán \| 數理化學	7
Q2864650 [CC \| ]	mathematics and art	Mathematics and art \| الرياضيات والفن \| Μαθηματικά και τέχνη \| ریاضیات و هنر \| Matematika dan seni \| Математика та мистецтво \| Toán học và nghệ thuật	7
Q233858 [CC \| ]	non-Euclidean geometry	Non-Euclidean geometry \| Nemeuklideszi geometria \| Geometria nieeuklidesowa \| Неевклидова геометрия \| 非欧几里得几何 \| Евклидла мар геометри	7
Q232661 [CC \| ]	parallel computing	Parallel computing \| رایانش موازی \| 병렬 컴퓨팅 \| Паралельні обчислення \| Tính toán song song \| 并行计算 \| Paralel hesaplama	7
Q35148 [CC \| ]	predicate logic	Predicate logic \| Predikátová logika \| Prädikatenlogik \| 述語論理 \| Логіка предикатів \| 谓词逻辑	7
Q1165112 [CC \| ]	singleton	Singleton (mathematics) \| مجموعه تک‌عضوی \| יחידון \| 単集合 \| 한원소 집합 \| Синглетон (математика) \| Đơn điểm (toán học)	7
Q857102 [CC \| ]	software design	Software design \| طراحی نرم‌افزار \| 소프트웨어 설계 \| Проєктування програмного забезпечення \| Thiết kế phần mềm \| 软件设计 \| Yazılım tasarımı	7
Q219079 [CC \| ]	truth table	Truth table \| جدول الحقيقة \| جدول ارزش \| Tabel kebenaran \| 真理値表 \| Таблиці істинності	7
Q185521 [CC \| ]	truth value	Truth value \| قيمة صواب \| Valeur de vérité \| 真理値 \| Значення істинності \| 真值	7
Q1378301 [CC \| ]	universal set	Universal set \| Conjunto universal \| مجموعه جهانی \| Himpunan semesta \| Insieme universo \| Универсальное множество \| Універсальна множина	7
Q484511 [CC \| ]	inductive reasoning	استقراء (منطق) \| Indukcija \| Induction (logique) \| 帰納 \| Raționament inductiv \| 归纳推理 \| 歸納	7
Q843894 [CC \| ]	critical thinking	تفكير نقدي \| Esprit critique \| 批判的思考 \| Gândire critică \| Tư duy phản biện \| 批判性思维 \| 批判思考	7
Q200802 [CC \| ]	vector calculus	حساب المتجهات \| Векторен анализ \| Vektoranalízis \| Analiza wektorowa \| Векторный анализ \| 向量微積分 \| Векторла анализ	7
Q1069891 [CC \| ]	transfinite number	عدد فوق منته \| اعداد ترامتناهی \| מספר טרנספיניטי \| Numero transfinito \| Número transfinito \| Transfinita tal \| Số vô hạn	7
Q9047 [CC \| ]	Gottfried Wilhelm Leibniz	Gottfried Wilhelm Leibniz \| غوتفريد لايبنتس \| گوتفرید لایبنیتس \| ゴットフリート・ライプニッツ \| Gottfried Leibniz \| 戈特弗里德·莱布尼茨	7
Q224821 [CC \| ]	fuzzy logic	منطق ضبابي \| منطق فازی \| Logique floue \| ファジィ論理 \| Lógica difusa \| Нечёткая логика \| 模糊逻辑	7
Q7949 [CC \| ]	truth	真理 \| Həqiqət \| Istina \| Adevăr \| Chân lý \| 真	7
Q484284 [CC \| ]	deductive reasoning	Dedukcija \| استدلال استنتاجی \| 演繹 \| Raționament deductiv \| Suy diễn logic \| 演绎推理 \| 演繹推理	7
Q290810 [CC \| ]	Zorn's lemma	Lema de Zorn \| Lemme de Zorn \| הלמה של צורן \| Lemma di Zorn \| ツォルンの補題 \| ცორნის ლემა \| 초른 보조정리	7
Q370085 [CC \| ]	Paul Halmos	Paul Halmos \| 헐모시 팔 \| Пол Річард Халмош	7
Q188915 [CC \| ]	National Library of Israel	Národní knihovna Izraele \| Biblioteca Nacional de Israel \| הספרייה הלאומית \| Biblioteca nazionale di Israele \| Biblioteka Narodowa Izraela \| Национальная библиотека Израиля \| İsrail Ulusal Kütüphanesi	7
Q25670 [CC \| ]	digital object identifier	Digital object identifier \| Digital Object Identifier \| 디지털 객체 식별자 \| Digitalni identifikator objekta \| Цифровий ідентифікатор об'єкта	7
Q206005 [CC \| ]	Henri Lebesgue	Henri Lebesgue \| هنری لبگ \| アンリ・ルベーグ \| Лебег, Анри Леон	7
Q178377 [CC \| ]	mathematical induction	Raisonnement par récurrence \| אינדוקציה מתמטית \| 数学的帰納法 \| Indução matemática \| Математическая индукция \| 數學歸納法 \| Математик индукция	7
Q1503766 [CC \| ]	nonstandard analysis	Analisi non standard \| 超準解析 \| 비표준 해석학 \| Análise não padronizada \| Нестандартный анализ \| Icke-standardanalys \| Стандартлă мар анализ	7
Q333464 [CC \| ]	analysis of algorithms	Analysis of algorithms \| تحلیل الگوریتم‌ها \| Аналіз алгоритмів \| 算法分析 \| 演算法分析 \| Algoritma analizi	6
Q909554 [CC \| ]	computational physics	Computational physics \| فیزیک محاسباتی \| 계산물리학 \| Обчислювальна фізика \| 计算物理学 \| Hesaplamalı fizik	6
Q80006 [CC \| ]	computer programming	Computer programming \| Праграмаванне \| 컴퓨터 프로그래밍 \| Lập trình máy tính \| Programlama \| Programimi kompjuterik	6
Q2777107 [CC \| ]	constructible universe	Constructible universe \| Konstruovatelná množina \| 구성 가능 전체 \| Uniwersum konstruowalne \| Universo construível \| Конструктивный универсум	6
Q192161 [CC \| ]	formal language	Formal language \| Formális nyelv \| Bahasa formal \| 形式言語 \| Формальна мова	6
Q649732 [CC \| ]	formal system	Formal system \| نظام شكلي \| دستگاه صوری \| 形式体系 \| Формальная система \| Формальна система	6
Q141488 [CC \| ]	graph	Graph (discrete mathematics) \| Graf (matemàtiques) \| گراف (ریاضی) \| Graafi \| Grafo \| Graff (mathemateg arwahanol)	6
Q71029 [CC \| ]	Hermann Weyl	Hermann Weyl \| Вейль, Герман	6
Q468620 [CC \| ]	history of logic	History of logic \| تاريخ المنطق \| Histoire de la logique \| 論理学の歴史 \| Istoria logicii \| 逻辑史	6
Q183065 [CC \| ]	interpreter	Interpreter (computing) \| 인터프리터 \| Інтерпретатор \| Trình thông dịch \| 直譯器 \| Yorumlayıcı	6
Q3240104 [CC \| ]	list of mathematics topics	Lists of mathematics topics \| فهرست مفاهیم ریاضی \| Senarai rencana matematik \| Seznam matematičnih vsebin \| Danh sách chủ đề toán học \| Matematik konularının listesi	6
Q246672 [CC \| ]	mathematical object	Mathematical object \| كائن رياضي \| Mathematisches Objekt \| Matemaatiline objekt \| 数学对象 \| 數學物體	6
Q3490369 [CC \| ]	Morse–Kelley set theory	Morse–Kelley set theory \| نظرية المجموعات حسب مورس-كيلي \| Kelleyova–Morseova teorie množin \| Teoría de conjuntos de Morse-Kelley \| Théorie des ensembles de Morse-Kelley \| モース-ケリー集合論	6
Q846651 [CC \| ]	multiprocessing	Multiprocessing \| چندپردازشی \| Багатопроцесорність \| Đa xử lý \| 多元處理 \| Çoklu işleme	6
Q30642 [CC \| ]	natural language processing	Natural language processing \| پردازش زبان‌های طبیعی \| Обробка природної мови \| Xử lý ngôn ngữ tự nhiên \| 自然语言处理 \| Doğal dil işleme	6
Q9135 [CC \| ]	operating system	Operating system \| سیستم‌عامل \| Операційна система \| Hệ điều hành \| 操作系统 \| İşletim sistemi	6
Q217595 [CC \| ]	Oxford University Press	Oxford University Press	6
Q187147 [CC \| ]	requirements analysis	Requirements analysis \| تحلیل نیازمندی‌ها \| 요구사항 분석 \| Аналіз вимог \| 需求分析 \| Gereksinim çözümleme	6
Q1548746 [CC \| ]	second-order logic	Second-order logic \| منطق الرتبة الثانية \| Lògica de segon ordre \| 二階述語論理 \| Логіка другого порядку \| 二階邏輯	6
Q963731 [CC \| ]	semantics of logic	Semantics of logic \| Semántica formal \| Sémantique formelle (logique) \| 形式意味論 \| Семантика логіки \| 邏輯語義學	6
Q845126 [CC \| ]	set difference	Set difference \| Diferencia de conjuntos \| Kenketa (multzo-teoria) \| Joukkoerotus \| הפרש (תורת הקבוצות) \| Különbség (halmazelmélet)	6
Q638608 [CC \| ]	software development	Software development \| توسعه نرم‌افزار \| 소프트웨어 개발 \| Розробка програмного забезпечення \| 软件开发 \| Yazılım geliştirme	6
Q824553 [CC \| ]	Stanford Encyclopedia of Philosophy	Stanford Encyclopedia of Philosophy \| 史丹佛哲學百科全書 \| Stenfordo filosofijos enciklopedija	6
Q2296408 [CC \| ]	Suslin's problem	Suslin's problem \| Suslinova hypotéza \| 수슬린 가설 \| Hipoteza Suslina \| Problema de Suslin \| 蘇斯林問題	6
Q541265 [CC \| ]	ubiquitous computing	Ubiquitous computing \| رایانش فراگیر \| 유비쿼터스 컴퓨팅 \| Повсюдний комп'ютинг \| 普适计算 \| Yaygın bilişim	6
Q597663 [CC \| ]	universe	Universe (mathematics) \| Univerzální množina \| Uniwersum (matematyka) \| Conjunto universo \| Základná množina \| 全集	6
Q170519 [CC \| ]	virtual reality	Virtual reality \| واقعیت مجازی \| Віртуальна реальність \| Thực tế ảo \| 虚拟现实 \| Sanal gerçeklik	6
Q77887 [CC \| ]	von Neumann universe	Von Neumann universe \| جهان فون نویمان \| フォン・ノイマン宇宙 \| Universo de von Neumann \| Універсум фон Неймана \| 冯·诺伊曼全集	6
Q1366730 [CC \| ]	metalogic	ما بعد المنطق \| فرامنطق \| Métalogique \| メタ論理学 \| Metalogika \| Metalogică	6
Q193885 [CC \| ]	infinitesimal	Infinitesimal \| 無窮小量 \| متناهي الصغر (رياضيات) \| Инфинитезимала	6
Q210841 [CC \| ]	modal logic	منطق موجهات \| Logique modale \| 様相論理 \| Lógica modal \| 模态逻辑	6
Q216861 [CC \| ]	calculus of variations	Варыяцыйнае злічэнне \| Вариациялық есептеу \| Rachunek wariacyjny \| Вариационное исчисление \| 變分法 \| Вариацилле шутлав	6
Q207648 [CC \| ]	solid geometry	Стереометрия \| Стэрэаметрыя \| Stereometria \| Стереометри	6
Q82799 [CC \| ]	name	Ime \| 名前 \| Nume \| Tên gọi \| 名称 \| 名	6
Q178354 [CC \| ]	reason	理性 \| Razum \| Rațiune \| Lý trí \| 理智	6
Q183 [CC \| ]	Germany	Alemanya \| 독일 \| Германија \| Deutän \| 德國 \| Caama	6
Q2045366 [CC \| ]	axiom of empty set	Axioma del conjunt buit \| Axiome de l'ensemble vide \| 空集合の公理 \| Аксиома пустого множества \| Аксіома порожньої множини \| Aksiomo de malplena aro	6
Q22952648 [CC \| ]	cardinality of the continuum	Cardinalitat del continu \| Puissance du continu \| עוצמת הרצף \| Cardinalità del continuo \| 連続体濃度 \| Континуум (теория множеств)	6
Q10879018 [CC \| ]	intuitionism	Intuïcionisme \| Intuitionismus (Logik und Mathematik) \| Intuitionnisme \| 直観主義 (数学の哲学) \| Intuicjonizm (matematyka) \| Интуиционизм	6
Q11567 [CC \| ]	complex number	Zenbaki konplexu \| Nombre complexe \| Numero complesso \| Complex getal \| 複數 \| Komplexe Zahl	6
Q47506 [CC \| ]	compiler	کامپایلر \| 컴파일러 \| Компілятор \| Trình biên dịch \| 編譯器 \| Derleyici	6
Q7761 [CC \| ]	1874	1874 \| 一八七四年	6
Q903508 [CC \| ]	metamathematics	Metamatematika \| 超数学 \| Metamatematyka \| Metamatemática \| Метаматематика \| 元数学	6
Q4830558 [CC \| ]	axiom of determinacy	Axiom of determinacy \| 결정 집합 \| Aksjomat determinacji \| Аксиома детерминированности \| 決定公理	5
Q942353 [CC \| ]	Boolean function	Boolean function \| دالة بول \| تابع بولی \| ブール関数 \| Булева функція	5
Q199006 [CC \| ]	codomain	Codomain \| טווח של פונקציה \| 終域 \| 공역	5
Q177005 [CC \| ]	computational biology	Computational biology \| Υπολογιστική βιολογία \| زیست‌شناسی محاسباتی \| Обчислювальна біологія \| 计算生物学	5
Q2670846 [CC \| ]	computer algebra	Computer algebra \| Υπολογιστική άλγεβρα \| جبر رایانه‌ای \| Đại số máy tính \| 電腦代數	5
Q1401416 [CC \| ]	computer animation	Computer animation \| پویانمایی رایانه‌ای \| Комп'ютерна анімація \| 计算机动画 \| Bilgisayar animasyonu	5
Q8513 [CC \| ]	database	Database \| پایگاه داده \| 데이터베이스 \| Cơ sở dữ liệu \| Veritabanı	5
Q842620 [CC \| ]	disjoint union	Disjoint union \| اجتماع مجزا \| Somma disgiunta \| 非交和 \| Дизъюнктное объединение	5
Q1211071 [CC \| ]	equivalence class	Equivalence class \| Classe d'equivalència \| Ekvivalenssiluokka \| מחלקת שקילות \| 同値類	5
Q739925 [CC \| ]	family of sets	集合族 \| Family of sets \| Família de conjuntos \| Сімейство множин	5
Q1417326 [CC \| ]	finitism	Finitism \| Finitismo \| Finitisme \| Finityzm \| 有限主義	5
Q207434 [CC \| ]	human–computer interaction	Human–computer interaction \| تعامل انسان و رایانه \| Людино-машинна взаємодія \| 人机交互 \| İnsan-bilgisayar etkileşimi	5
Q1279571 [CC \| ]	Indian mathematics	Indian mathematics \| Matematika India \| Matemática indiana \| Индијска математика \| Matematika indase	5
Q121182 [CC \| ]	information system	Information system \| سامانه اطلاعاتی \| Інформаційна система \| Hệ thống thông tin \| 信息系统	5
Q182003 [CC \| ]	injection	Injective function \| פונקציה חד-חד-ערכית \| 単射 \| 단사 함수	5
Q176786 [CC \| ]	intuitionistic logic	Intuitionistic logic \| منطق شهودی \| Logique intuitionniste \| Lógica intuicionista \| 直觉主义逻辑	5
Q155887 [CC \| ]	Luitzen Egbertus Jan Brouwer	Luitzen Egbertus Jan Brouwer \| L. E. J. Brouwer \| Брауэр, Лёйтзен Эгберт Ян	5
Q2651693 [CC \| ]	logic in computer science	Logic in computer science \| منطق در علوم کامپیوتر \| Логіка в інформатиці \| 计算机逻辑 \| 運算邏輯	5
Q211790 [CC \| ]	logical connective	Logical connective \| رابطة منطقية \| 論理演算 \| Логічний сполучник \| 邏輯連接詞	5
Q3311695 [CC \| ]	logical truth	邏輯真理 \| Logical truth \| Vérité logique \| 論理的真理	5
Q845691 [CC \| ]	logicism	Logicism \| Logicisme \| 論理主義 (数学) \| Logicyzm \| 邏輯主義	5
Q1908389 [CC \| ]	mathematical psychology	Mathematical psychology \| علم النفس الحسابي \| Μαθηματική ψυχολογία \| 数学心理学 \| 數理心理學	5
Q925445 [CC \| ]	measurable cardinal	Measurable cardinal \| 가측 기수 \| Liczba mierzalna \| Cardinal mensurável \| 可測基數	5
Q190558 [CC \| ]	logical negation	Negation \| İnkar \| Negacja \| Заперечення	5
Q989632 [CC \| ]	network security	Network security \| امنیت شبکه \| 네트워크 보안 \| Безпека мережі \| 网络安全	5
Q649337 [CC \| ]	New Foundations	New Foundations \| 新基礎集合論 \| 새 기초 \| 新基础集合论	5
Q2904257 [CC \| ]	software development process	Software development process \| فرایند توسعه نرم‌افزار \| Процес розробки програмного забезпечення \| Quy trình phát triển phần mềm \| 软件开发过程	5
Q229102 [CC \| ]	surjective function	Surjective function \| פונקציה על \| 全射 \| 전사 함수	5
Q2167061 [CC \| ]	systems science	Systems science \| علم الأنظمة \| Ilmu sistem \| Системологія \| 系統科學	5
Q1896657 [CC \| ]	urelement	Urelement \| Урэлемент \| 基本元素	5
Q7251 [CC \| ]	Alan Turing	آلان تورنغ \| آلن تورینگ \| Alan Turing \| アラン・チューリング \| 艾伦·图灵	5
Q868 [CC \| ]	Aristotle	أرسطو \| ارسطو \| Aristote \| アリストテレス \| 亚里士多德	5
Q134661 [CC \| ]	George Boole	جورج بول \| جرج بول \| George Boole \| ジョージ・ブール \| 乔治·布尔	5
Q76519 [CC \| ]	Rudolf Carnap	رودولف كارناب \| رودلف کارناپ \| Rudolf Carnap \| ルドルフ・カルナップ \| 鲁道夫·卡尔纳普	5
Q2476757 [CC \| ]	philosophy of logic	فلسفة المنطق \| فلسفه منطق \| Philosophie de la logique \| 論理学の哲学 \| 邏輯哲學	5
Q2509345 [CC \| ]	list of paradoxes	قائمة المفارقات \| فهرست پارادوکس‌ها \| Listă de paradoxuri \| Danh sách nghịch lý \| 悖论列表	5
Q221697 [CC \| ]	Hilary Putnam	هيلاري بوتنام \| هیلاری پاتنم \| Hilary Putnam \| ヒラリー・パトナム \| 希拉里·怀特哈尔·普特南	5
Q123637 [CC \| ]	cybernetics	Кибернетика \| Кібернетыка \| 控制论 \| 模控學	5
Q1133157 [CC \| ]	planimetrics	Планиметрия \| Планіметрыя \| Planimetria \| Планиметри	5
Q2056 [CC \| ]	1908	1908 \| 1908 йыл	5
Q177251 [CC \| ]	associativity	Propietat associativa \| Assoziativgesetz \| Ассоциативность (математика) \| Ассоциативлыҡ (математика) \| Asocieco	5
Q165474 [CC \| ]	commutative property	Propietat commutativa \| Kommutativgesetz \| Коммутативность \| Коммутативлыҡ \| Komuteco	5
Q11538 [CC \| ]	mathematical proof	Matematický důkaz \| Démonstration (logique et mathématiques) \| 証明 (数学) \| Prova matemática \| 數學證明	5
Q168817 [CC \| ]	algebraic number	Algebraische Zahl \| Liczby algebraiczne \| Número algébrico \| Алгебраическое число \| Số đại số	5
Q1069998 [CC \| ]	partial order	Ordnungsrelation \| ترتیب جزئی \| Järjestysrelaatio \| יחס סדר \| Отношение порядка	5
Q117801 [CC \| ]	computational science	علم محاسبه \| 계산과학 \| Khoa học tính toán \| 科學運算 \| Bilimsel hesaplama	5
Q1137814 [CC \| ]	constructivism	Konstruktivismi (matematiikka) \| Constructivisme (mathématiques) \| 構成主義 (数学) \| Constructivisme (wiskunde) \| Construtivismo (matemática)	5
Q183372 [CC \| ]	Alfred North Whitehead	Alfred North Whitehead \| アルフレッド・ノース・ホワイトヘッド \| 阿爾弗雷德·諾思·懷特黑德	5
Q185478 [CC \| ]	countably infinite set	Himpunan terhitung \| 可算集合 \| თვლადი სიმრავლე \| Счётное множество \| Зліченна множина	5
Q128570 [CC \| ]	bioinformatics	생물정보학 \| Bioinformática \| Tin sinh học \| 生物信息学 \| Biyoenformatik	5
Q2971515 [CC \| ]	algorithm design	Algorithm design \| 알고리즘 설계 \| 算法设计 \| Algoritma tasarımı	4
Q4781497 [CC \| ]	application security	Application security \| امنیت برنامه \| 애플리케이션 보안 \| Безпека прикладних програм	4
Q2179749 [CC \| ]	arithmetic geometry	Arithmetic geometry \| هندسة حسابية \| Hình học số học \| 算术几何	4
Q2328174 [CC \| ]	atomic formula	Atomic formula \| 原子論理式 \| Fórmula atômica \| 原子公式	4
Q792536 [CC \| ]	axiom schema	Axiom schema \| Схема аксиом \| Аксіомна схема \| 公理模式	4
Q676835 [CC \| ]	recursively enumerable set	Computably enumerable set \| مجموعة مرقمة بشكل تراجعي \| Insieme ricorsivamente enumerabile \| 帰納的可算集合	4
Q3097841 [CC \| ]	computer accessibility	Computer accessibility \| دسترس‌پذیری رایانه \| 컴퓨터 접근성 \| 计算机辅助功能	4
Q66221 [CC \| ]	computer data storage device	Computer data storage \| ذخیره‌سازی داده رایانه \| Комп'ютерна пам'ять \| 電腦數據存貯器	4
Q3966 [CC \| ]	computer hardware	Computer hardware \| سخت‌افزار رایانه \| Апаратне забезпечення \| 计算机硬件	4
Q3510521 [CC \| ]	computer security	Computer security \| امنیت رایانه \| Комп'ютерна безпека \| 计算机安全	4
Q1414548 [CC \| ]	concurrency	Concurrency (computer science) \| Рівночасність (інформатика) \| Tương tranh (khoa học máy tính) \| 并发性	4
Q128392 [CC \| ]	concurrent computing	Concurrent computing \| رایانش همزمان \| Рівночасні обчислення \| 并发计算	4
Q541014 [CC \| ]	cross-validation	Cross-validation (statistics) \| روش اعتبارسنجی متقابل \| Перехресне затверджування \| 交叉驗證	4
Q849340 [CC \| ]	cyberwarfare	Cyberwarfare \| جنگ مجازی \| Кібервійна \| 網絡戰	4
Q330268 [CC \| ]	decision support system	Decision support system \| سامانه پشتیبانی تصمیم \| Система підтримки рішень \| 决策支持系统	4
Q860372 [CC \| ]	digital art	Digital art \| هنر دیجیتال \| Комп'ютерне мистецтво \| 数字艺术	4
Q212805 [CC \| ]	digital library	Digital library \| کتابخانه دیجیتال \| Електронна бібліотека \| 數位圖書館	4
Q1323528 [CC \| ]	digital marketing	Digital marketing \| بازاریابی اینترنتی \| Цифровий маркетинг \| 數位行銷	4
Q16526038 [CC \| ]	Diophantine geometry	Diophantine geometry \| Диофантова геометрия \| Hình học Diophantos \| 丢番图几何	4
Q691358 [CC \| ]	domain-specific language	Domain-specific language \| زبان خاص دامنه \| Предметно-орієнтована мова програмування \| 领域特定语言	4
Q484847 [CC \| ]	e-commerce	E-commerce \| تجارت الکترونیک \| Електронна комерція \| 电子商务	4
Q1068473 [CC \| ]	educational technology	Educational technology \| فناوری آموزشی \| Освітні технології \| 教育技术学	4
Q1194864 [CC \| ]	electronic design automation	Electronic design automation \| خودکارسازی طراحی الکترونیکی \| Програми проєктування електронних систем \| 電子設計自動化	4
Q1340196 [CC \| ]	Encyclopedia of Mathematics	Encyclopedia of Mathematics \| Encyclopaedia of Mathematics	4
Q2235851 [CC \| ]	engineering mathematics	Engineering mathematics \| رياضيات هندسية \| ریاضیات مهندسی \| 工程數學	4
Q2762418 [CC \| ]	formal proof	Formal proof \| برهان فلسفي \| Доказ (логіка) \| 形式證明	4
Q483130 [CC \| ]	geographic information system	Geographic information system \| سامانه اطلاعات جغرافیایی \| Геоінформаційна система \| 地理信息系统	4
Q1939186 [CC \| ]	geometric topology	Geometric topology \| طوبولوجيا هندسية \| Γεωμετρική τοπολογία \| 几何拓扑学	4
Q183484 [CC \| ]	graphics processing unit	Graphics processing unit \| واحد پردازش گرافیکی \| Графічний процесор \| 圖形處理器	4
Q1064746 [CC \| ]	green computing	Green computing \| رایانش سبز \| Зелені інформаційні технології \| 绿色计算	4
Q902052 [CC \| ]	Gödel's completeness theorem	Gödel's completeness theorem \| Théorème de complétude de Gödel \| ゲーデルの完全性定理 \| 哥德尔完备性定理	4
Q870895 [CC \| ]	health informatics	Health informatics \| انفورماتیک پزشکی \| Медична інформатика \| 医学信息学	4
Q412438 [CC \| ]	image compression	Image compression \| فشرده‌سازی تصویر \| Стиснення зображень \| 图像压缩	4
Q2705017 [CC \| ]	independence	Independence (mathematical logic) \| Незалежність системи аксіом \| 獨立性 (數理邏輯)	4
Q816826 [CC \| ]	information retrieval	Information retrieval \| بازیابی اطلاعات \| Інформаційний пошук \| 信息檢索	4
Q189900 [CC \| ]	information security	Information security \| امنیت اطلاعات \| Інформаційна безпека \| 信息安全	4
Q80831 [CC \| ]	integrated circuit	Integrated circuit \| Мікросхема \| Vi mạch \| 集成电路	4
Q745881 [CC \| ]	intrusion detection system	Intrusion detection system \| سامانه تشخیص نفوذ \| Система виявлення вторгнень \| 入侵检测系统	4
Q1359909 [CC \| ]	Keith Devlin	Keith Devlin	4
Q370502 [CC \| ]	mapping	Map (mathematics) \| تطبيق (رياضيات) \| 写像 \| 轉換	4
Q4284723 [CC \| ]	mathematical sociology	Mathematical sociology \| علم الاجتماع الرياضي \| جامعه‌شناسی ریاضی \| 數理社會學	4
Q146768 [CC \| ]	middleware	Middleware \| میان‌افزار \| Проміжне програмне забезпечення \| 中间件	4
Q1758389 [CC \| ]	mixed reality	Mixed reality \| واقعیت ترکیبی \| Змішана реальність \| 混合现实	4
Q1572108 [CC \| ]	natural deduction	Natural deduction \| Déduction naturelle \| 自然演繹	4
Q1130645 [CC \| ]	open-source software	Open-source software \| نرم‌افزار متن‌باز \| Відкрите програмне забезпечення \| 开源软件	4
Q3884033 [CC \| ]	operation	Operation (mathematics) \| Operace (matematika) \| Operatie (wiskunde)	4
Q4344872 [CC \| ]	paradoxes of set theory	Paradoxes of set theory \| Paradoxy naivní teorie množin \| Парадоксы теории множеств \| Парадокси теорії множин	4
Q381060 [CC \| ]	partition of a set	Partition of a set \| Partiketa (matematika) \| חלוקה (תורת הקבוצות) \| 集合の分割	4
Q178648 [CC \| ]	peripheral	Peripheral \| دستگاه جانبی \| Периферійний пристрій \| 外部设备	4
Q1144319 [CC \| ]	predicate	Predicate (mathematical logic) \| محمول (منطق) \| Prédicat (logique mathématique) \| Предикат	4
Q9842 [CC \| ]	primary school	Primary school \| Основно училиште \| Osnovna šola \| Ysgol gynradd	4
Q2670534 [CC \| ]	programming language theory	Programming language theory \| نظریه زبان‌های برنامه‌نویسی \| Теорія мов програмування \| 程式語言理論	4
Q188267 [CC \| ]	programming paradigm	Programming paradigm \| Парадигма програмування \| 编程范型 \| Programlama paradigması	4
Q1077784 [CC \| ]	programming tool	Programming tool \| ابزار توسعه نرم‌افزار \| Інструменти програмування \| 软件开发工具	4
Q918099 [CC \| ]	Ramsey's theorem	Ramsey's theorem \| Teorema de Ramsey \| Twierdzenie Ramseya \| 拉姆齐定理	4
Q1806121 [CC \| ]	range of a function	Range of a function \| 値域 \| 치역 \| Область значень	4
Q441178 [CC \| ]	Raymond Smullyan	Raymond Smullyan \| レイモンド・スマリヤン	4
Q3988 [CC \| ]	real-time computing	Real-time computing \| رایانش بی‌درنگ \| Система реального часу \| 实时计算	4
Q830687 [CC \| ]	reinforcement learning	Reinforcement learning \| یادگیری تقویتی \| Навчання з підкріпленням \| 强化学习	4
Q176953 [CC \| ]	rendering	Rendering (computer graphics) \| رندرینگ (گرافیک رایانه‌ای) \| Рендеринг \| 渲染	4
Q1068763 [CC \| ]	rule of inference	Rule of inference \| 推論規則 \| Правило висновування	4
Q1033910 [CC \| ]	Cantor–Bernstein–Schroeder theorem	Schröder–Bernstein theorem \| משפט קנטור-שרדר-ברנשטיין \| ベルンシュタインの定理 \| Теорема Кантора — Бернштейна	4
Q1437428 [CC \| ]	programming language semantics	Semantics (computer science) \| معنی‌شناسی (علوم رایانه) \| Семантика мов програмування \| 形式语义学	4
Q613566 [CC \| ]	software configuration management	Software configuration management \| مدیریت پیکربندی نرم‌افزار \| Керування конфігурацією \| 软件配置管理	4
Q80993 [CC \| ]	software engineering	Software engineering \| 소프트웨어 공학 \| Công nghệ phần mềm \| Yazılım mühendisliği	4
Q271680 [CC \| ]	software framework	Software framework \| چارچوب نرم‌افزاری \| Програмний каркас \| 軟體框架	4
Q1412670 [CC \| ]	software quality	Software quality \| کیفیت نرم‌افزار \| Якість програмного забезпечення \| 软件质量	4
Q693083 [CC \| ]	soundness	Soundness \| درستی (منطق) \| 健全性 \| 可靠性定理	4
Q2395230 [CC \| ]	syntax	Syntax (logic) \| نحو (منطق) \| Syntaxe (logique) \| 句法 (邏輯)	4
Q2878974 [CC \| ]	theoretical computer science	Theoretical computer science \| Informàtica teòrica \| Теоретическая информатика \| 理論電腦科學	4
Q924992 [CC \| ]	Thomas Jech	Thomas Jech \| 托马什·耶赫	4
Q600590 [CC \| ]	n-tuple	Tuple \| Rangkap \| 順序組 \| 多元组	4
Q1152135 [CC \| ]	unsupervised learning	Unsupervised learning \| یادگیری بی‌نظارت \| Некероване навчання \| 無監督學習	4
Q7889 [CC \| ]	video game	Video game \| بازی ویدئویی \| Відеогра \| 电子游戏	4
Q192726 [CC \| ]	virtual machine	Virtual machine \| ماشین مجازی \| Віртуальна машина \| 虛擬機器	4
Q451553 [CC \| ]	visualization	Visualization (graphics) \| مصورسازی (گرافیک رایانه‌ای) \| Візуалізація \| 可视化	4
Q54277 [CC \| ]	word processor	Word processor \| واژه‌پرداز \| Текстовий процесор \| 文字处理器	4
Q466 [CC \| ]	World Wide Web	World Wide Web \| وب جهان‌گستر \| Всесвітнє павутиння \| 万维网	4
Q151885 [CC \| ]	concept	Concepto \| Concepte \| Concept \| 概念	4
Q330567 [CC \| ]	Abraham Robinson	Abraham Robinson \| أبراهام روبنسون \| آبراهام رابینسون	4
Q949972 [CC \| ]	if and only if	إذا وفقط إذا \| אם ורק אם \| 若且唯若 \| Se kaj nur se	4
Q187520 [CC \| ]	Charles Sanders Peirce	تشارلز ساندرز برس \| Charles Sanders Peirce \| チャールズ・サンダース・パース \| 查尔斯·桑德斯·皮尔士	4
Q5958543 [CC \| ]	hyperreal number	عدد حقيقي فائق \| عدد ابرحقیقی \| Número hiper-real \| Hyperreella tal	4
Q621850 [CC \| ]	reflexive relation	علاقة انعكاسية \| Reflexive Relation \| יחס רפלקסיבי \| 反射関係	4
Q186150 [CC \| ]	fallacy	مغالطة \| مغالطه \| 誤謬 \| 謬論	4
Q648266 [CC \| ]	Wayback Machine	Wayback Machine \| واي باك مشين	4
Q336 [CC \| ]	science	Muokslos \| Nauka \| 科學 \| Bilim	4
Q39847 [CC \| ]	1870s	1870-я \| Anni 1870 \| 1870au	4
Q7741 [CC \| ]	1870	1870 \| 1870 m.	4
Q2501020 [CC \| ]	Euler diagram	Кръгове на Ойлер \| Euler-diagram \| オイラー図 \| Кола Ейлера	4
Q2914225 [CC \| ]	equinumerosity	Equipotència \| Equipotencia \| Équipotence \| Рівнопотужність	4
Q83491 [CC \| ]	Richard's paradox	Paradoxa de Richard \| Paradoxe de Richard \| リシャールのパラドックス \| Парадокс Ришара	4
Q203920 [CC \| ]	manifold	Varietat (matemàtiques) \| Monisto \| Variedade (xeometría) \| 流形	4
Q681771 [CC \| ]	alternative set theory	Alternativní teorie množin \| نظریه مجموعه جایگزین \| Alternatívna teória množín \| 可替代的集合论	4
Q75856 [CC \| ]	Felix Hausdorff	Felix Hausdorff \| Хаусдорф, Феликс \| Фелікс Гаусдорф	4
Q703577 [CC \| ]	Mathematische Annalen	Mathematische Annalen	4
Q190529 [CC \| ]	Nicolas Bourbaki	Nicolas Bourbaki \| Bourbaki-csoport \| ニコラ・ブルバキ	4
Q64861 [CC \| ]	transitive relation	Transitive Relation \| יחס טרנזיטיבי \| 推移関係 \| 遞移關係	4
Q659746 [CC \| ]	well-order	Wohlordnung \| Täielik järjestus \| סדר טוב \| 정렬 순서	4
Q92552 [CC \| ]	Galois theory	Θεωρία Γκαλουά \| Teoria Galois \| Теория Галуа \| 伽華理論	4
Q166314 [CC \| ]	chaos theory	Θεωρία του χάους \| Káoszelmélet \| Chaos (matematyka) \| 混沌理論	4
Q367 [CC \| ]	Wikibooks	Wikibooks \| Wikilibros \| Wikilivros	4
Q92741 [CC \| ]	Alonzo Church	آلونزو چرچ \| Alonzo Church \| アロンゾ・チャーチ \| 阿隆佐·邱奇	4
Q39837 [CC \| ]	Averroes	ابن رشد \| Averroès \| イブン・ルシュド \| 伊本·魯世德	4
Q8011 [CC \| ]	Avicenna	ابن سینا \| Avicenne \| イブン・スィーナー \| 伊本·西那	4
Q363948 [CC \| ]	contradiction	تناقض \| Protislovje \| Mâu thuẫn \| 矛盾	4
Q308495 [CC \| ]	abductive reasoning	溯因推理 \| Abduction (logique) \| アブダクション	4
Q1506807 [CC \| ]	informal logic	Logique informelle \| 非形式論理学 \| 非形式逻辑 \| 非形式邏輯	4
Q827144 [CC \| ]	Berry paradox	Paradoxe de Berry \| ベリーのパラドックス \| Парадокс Берри \| Парадокс Беррі	4
Q177409 [CC \| ]	projective geometry	Projektív geometria \| Geometria rzutowa \| Проективная геометрия \| Projektivna geometrija	4
Q271977 [CC \| ]	partial differential equation	偏微分方程式 \| Дифференциальное уравнение в частных производных \| 偏微分方程 \| Харпăр тăхăмсемлĕ дифференциаллă танлăх	4
Q465274 [CC \| ]	ordinary differential equation	常微分方程式 \| Обыкновенное дифференциальное уравнение \| 常微分方程 \| Дифференциаллă ахаль танлăх	4
Q194152 [CC \| ]	parsing	構文解析 \| 구문 분석 \| Phân tích cú pháp \| Ayrıştırıcı (yazılım)	4
Q580101 [CC \| ]	integral equation	Интегралдық теңдеулер \| Интегральное уравнение \| 積分方程 \| Интеграллă танлăх	4
Q18743 [CC \| ]	1932	1932 \| 1932년	4
Q170978 [CC \| ]	robotics	로봇공학 \| Robot học \| 机器人学 \| Robotik	4
Q47146 [CC \| ]	user interface	사용자 인터페이스 \| Giao diện người dùng \| 用户界面 \| Kullanıcı arayüzü	4
Q327008 [CC \| ]	image processing	영상 처리 \| Xử lý ảnh \| 图像处理 \| Görüntü işleme	4
Q175263 [CC \| ]	data structure	자료 구조 \| Cấu trúc dữ liệu \| 数据结构 \| Veri yapısı	4
Q44946 [CC \| ]	point	Punkts (ģeometrija) \| Punkt \| Точка \| Puntu (xeometría)	4
Q80091 [CC \| ]	integral	Интеграл \| 積分	4
Q288530 [CC \| ]	ACM Computing Classification System	ACM Computing Classification System \| ACM 电脑分类系统	3
Q418106 [CC \| ]	Akihiro Kanamori	Akihiro Kanamori	3
Q908627 [CC \| ]	aleph number	Aleph number \| Aleph (nombre) \| 알레프 수	3
Q1296251 [CC \| ]	algorithmic efficiency	Algorithmic efficiency \| Ефективність алгоритму \| 算法效率	3
Q4943349 [CC \| ]	Boolean-valued model	Boolean-valued model \| Modelo booliano valorado \| 布尔值模型	3
Q719395 [CC \| ]	category	Category (mathematics) \| 圏 (数学) \| Categoria (teoria das categorias)	3
Q1148456 [CC \| ]	computable function	Computable function \| 計算可能関数	3
Q16909867 [CC \| ]	computational social science	Computational social science \| علوم اجتماعی محاسباتی \| 計算社會科學	3
Q7600677 [CC \| ]	computer graphics	Computer graphics \| گرافیک رایانه‌ای \| Bilgisayar grafikleri	3
Q241317 [CC \| ]	computing platform	Computing platform \| Комп'ютерна платформа \| 系统平台	3
Q430001 [CC \| ]	decidability	Decidability (logic) \| Décidabilité \| 決定可能性	3
Q3262192 [CC \| ]	decision problem	Decision problem \| 決定問題	3
Q2689057 [CC \| ]	dependability	Dependability \| اطمینان‌پذیری \| Безвідмовність	3
Q831677 [CC \| ]	document management system	Document management system \| سامانه مدیریت اسناد \| Електронний документообіг	3
Q2137023 [CC \| ]	Dover Publications	Dover Publications	3
Q381346 [CC \| ]	Edward Nelson	Edward Nelson \| ادوارد نلسون	3
Q1196904 [CC \| ]	electronic publishing	Electronic publishing \| نشر الکترونیک \| 電子出版	3
Q926161 [CC \| ]	electronic voting	Electronic voting \| رأی‌گیری الکترونیکی \| Електронне голосування	3
Q193040 [CC \| ]	embedded system	Embedded system \| Вбудована система \| 嵌入式系统	3
Q831795 [CC \| ]	enterprise information system	Enterprise information system \| سامانه اطلاعات سازمانی \| Корпоративна інформаційна система	3
Q1318054 [CC \| ]	enterprise software	Enterprise software \| نرم‌افزار سازمانی \| 企业级软件	3
Q2704791 [CC \| ]	enumeration	Enumeration \| تعداد \| 数え上げ	3
Q773483 [CC \| ]	existential quantification	Existential quantification \| 存在記号 \| 存在量化	3
Q622849 [CC \| ]	halting problem	Halting problem \| 停止性問題	3
Q5737811 [CC \| ]	hereditarily finite set	Hereditarily finite set \| 遺伝的有限集合 \| 继承有限集合	3
Q9357062 [CC \| ]	homotopy theory	Homotopy theory \| نظرية التجانس \| Teoria homotopii	3
Q860623 [CC \| ]	image	Image (mathematics) \| 像 (数学) \| 상 (수학)	3
Q13741 [CC \| ]	integrated development environment	Integrated development environment \| Інтегроване середовище розробки \| 集成开发环境	3
Q259513 [CC \| ]	Internet Encyclopedia of Philosophy	Internet Encyclopedia of Philosophy	3
Q523607 [CC \| ]	interpretation	Interpretation (logic) \| Інтерпретація (логіка) \| 解釋 (邏輯)	3
Q189112 [CC \| ]	isomorphism	Isomorphism \| Изоморфизам (математика)	3
Q782431 [CC \| ]	Kenneth Kunen	Kenneth Kunen \| 케네스 쿠넌	3
Q3478658 [CC \| ]	knowledge representation and reasoning	Knowledge representation and reasoning \| بازنمود دانش \| Представлення знань	3
Q242028 [CC \| ]	lambda calculus	Lambda calculus \| ラムダ計算	3
Q188860 [CC \| ]	software library	Library (computing) \| Бібліотека підпрограм \| 函式庫	3
Q212825 [CC \| ]	list of important mathematicians	List of mathematicians \| 数学者の一覧 \| Listă de matematicieni	3
Q1068283 [CC \| ]	Löwenheim–Skolem theorem	Löwenheim–Skolem theorem \| Théorème de Löwenheim-Skolem \| 勒文海姆–斯科伦定理	3
Q1639024 [CC \| ]	mathematical software	Mathematical software \| نرم‌افزار ریاضی \| 数学软件	3
Q2778296 [CC \| ]	Matthew Foreman	Matthew Foreman	3
Q1747745 [CC \| ]	meagre set	Meagre set \| Zbiór pierwszej kategorii \| Conjunto magro	3
Q6822975 [CC \| ]	Metamath	Metamath \| متامث	3
Q2651576 [CC \| ]	model of computation	Model of computation \| مدل محاسبه \| Модель обчислення	3
Q1941921 [CC \| ]	modeling language	Modeling language \| زبان مدل‌سازی \| Мова моделювання	3
Q1064412 [CC \| ]	hardware multithreading	Multithreading (computer architecture) \| چندریسمانی \| 多线程	3
Q1546066 [CC \| ]	networking hardware	Networking hardware \| سخت‌افزار شبکه \| Мережеве обладнання	3
Q336700 [CC \| ]	New Math	New Math \| Neue Mathematik \| Uusi matematiikka	3
Q746242 [CC \| ]	P versus NP problem	P versus NP problem \| P≠NP予想	3
Q2464338 [CC \| ]	philosophy of artificial intelligence	Philosophy of artificial intelligence \| فلسفه هوش مصنوعی \| Філософія штучного інтелекту	3
Q1207972 [CC \| ]	Polish space	Polish space \| Przestrzeń polska \| Польський простір	3
Q1570472 [CC \| ]	primitive recursive function	Primitive recursive function \| 原始再帰関数 \| Рекурсивні функції	3
Q173350 [CC \| ]	printed circuit board	Printed circuit board \| برد مدار چاپی \| Друкована плата	3
Q583461 [CC \| ]	randomized algorithm	Randomized algorithm \| Увипадковлений алгоритм \| 随机化算法	3
Q755662 [CC \| ]	relational model	Relational model \| Model relasional \| Modelo relacional	3
Q7445066 [CC \| ]	Security service	Security service (telecommunication) \| سرویس امنیتی (ارتباطات دور برد) \| Послуга безпеки (телекомунікації)	3
Q615985 [CC \| ]	social software	Social software \| نرم‌افزارهای اجتماعی \| 社会性软件	3
Q2297740 [CC \| ]	software deployment	Software deployment \| Розгортання програмного забезпечення \| 软件部署	3
Q940053 [CC \| ]	software maintenance	Software maintenance \| Супровід програмного забезпечення \| 軟體維護	3
Q1334294 [CC \| ]	software repository	Software repository \| مخزن نرم‌افزاری \| Репозиторій програмного забезпечення	3
Q2991685 [CC \| ]	solid modeling	Solid modeling \| Моделювання твердих тіл \| 实体造型	3
Q334384 [CC \| ]	supervised learning	Supervised learning \| Кероване навчання \| 监督学习	3
Q126695 [CC \| ]	universal quantification	Universal quantification \| 全称記号 \| 全称量化	3
Q866 [CC \| ]	YouTube	YouTube	3
Q461 [CC \| ]	Internet Archive	أرشيف الإنترنت \| Internet Archive \| 互联网档案馆	3
Q175515 [CC \| ]	symbolic mathematics	حساب رمزي \| 기호계산 \| Sembolik matematik	3
Q6030066 [CC \| ]	infinity symbol	رمز اللانهاية \| نماد بی‌نهایت \| Lemniskata	3
Q875333 [CC \| ]	surreal number	عدد فوق حقيقي \| Número surreal \| Surreella tal	3
Q1194916 [CC \| ]	mereology	علم الأجزاء \| Méréologie \| Mereologia	3
Q4964182 [CC \| ]	philosopher	Философ \| 철학자 \| Филозоф	3
Q630893 [CC \| ]	National Library of Technology	Biblioteca Nacional de la República Txeca \| Biblioteca técnica nacional de Praga \| Biblioteca Técnica Nacional de Praga	3
Q164425 [CC \| ]	Jacques Hadamard	Jacques Hadamard \| Адамар, Жак	3
Q187959 [CC \| ]	distributive property	Propietat distributiva \| Distributivgesetz \| Distribueco	3
Q338021 [CC \| ]	well-founded relation	Relació ben fonamentada \| Relation bien fondée \| 整礎関係	3
Q371910 [CC \| ]	René-Louis Baire	René Baire \| Бэр, Рене-Луи	3
Q180217 [CC \| ]	Stefan Banach	Stefan Banach	3
Q80071 [CC \| ]	symbol	Símbol \| Символ \| Simbolo	3
Q154356 [CC \| ]	Émile Borel	Émile Borel \| Борель, Эмиль	3
Q1729107 [CC \| ]	cardinal arithmetic	Kardinální aritmetika \| Kardinalzahlarithmetik \| Arytmetyka liczb kardynalnych	3
Q583760 [CC \| ]	antisymmetric relation	Antisymmetrische Relation \| יחס אנטי-סימטרי \| 反対称関係	3
Q14392 [CC \| ]	E	Epsilon \| אפסילון	3
Q2373971 [CC \| ]	foundational crisis of mathematics	Grundlagenkrise der Mathematik \| Кризис оснований математики \| Криза основ математики	3
Q2646614 [CC \| ]	computational number theory	Αλγοριθμική θεωρία αριθμών \| Algorytmiczna teoria liczb \| 運算數論	3
Q1208658 [CC \| ]	ring theory	Θεωρία δακτυλίων \| Teoria degli anelli \| 환론	3
Q209306 [CC \| ]	hyperbolic geometry	Υπερβολική γεωμετρία \| Geometria hiperboliczna \| Geometrie hiperbolică	3
Q468422 [CC \| ]	principle of excluded middle	Principio del tercero excluido \| Principe du tiers exclu \| Երրորդի բացառման օրենք	3
Q37105 [CC \| ]	line	Recta \| 직선 \| Linje	3
Q2013 [CC \| ]	Wikidata	Wikidata	3
Q215382 [CC \| ]	disjoint sets	Multzo disjuntu \| Disgiunzione \| 素集合	3
Q188522 [CC \| ]	software testing	آزمون نرم‌افزار \| 소프트웨어 테스트 \| Yazılım testi	3
Q2555318 [CC \| ]	automated reasoning	استدلال خودکار \| 自动推理 \| Otomatikleştirilmiş muhakeme	3
Q1334829 [CC \| ]	wearable computer	رایانه پوشیدنی \| 착용 컴퓨터 \| Giyilebilir bilgisayar	3
Q863221 [CC \| ]	list of fallacies	فهرست مغالطه‌ها \| Listă de erori logice \| 謬誤列表	3
Q176630 [CC \| ]	relevance logic	منطق ربط \| 適切さの論理 \| 相干逻辑	3
Q1649571 [CC \| ]	process control	کنترل فرایند \| Автоматизація виробництва \| 过程控制	3
Q133250 [CC \| ]	sequence	Lukujono \| Sequo \| 列 (数学)	3
Q231714 [CC \| ]	Topology	Topologia \| Topolohiya	3
Q208448 [CC \| ]	Augustus De Morgan	Auguste De Morgan \| オーガスタス・ド・モルガン \| 奧古斯塔斯·德摩根	3
Q3844169 [CC \| ]	Dialetheism	Dialethéisme \| 真矛盾主義 \| 双面真理说	3
Q60502 [CC \| ]	Gerhard Gentzen	Gerhard Gentzen \| ゲルハルト・ゲンツェン \| 格哈德·根岑	3
Q43936 [CC \| ]	William of Ockham	Guillaume d'Ockham \| オッカムのウィリアム \| 奥卡姆的威廉	3
Q1420342 [CC \| ]	JSTOR	JSTOR	3
Q190089 [CC \| ]	Duns Scotus	Jean Duns Scot \| ヨハネス・ドゥンス・スコトゥス \| 邓斯·司各脱	3
Q841728 [CC \| ]	linear logic	Logique linéaire \| 線形論理 \| 线性逻辑	3
Q239179 [CC \| ]	non-classical logic	Logique non classique \| 非古典論理 \| 非古典邏輯	3
Q426592 [CC \| ]	paraconsistent logic	Logique paracohérente \| 矛盾許容論理 \| 次协调逻辑	3
Q839490 [CC \| ]	substructural logic	Logiques sous-structurelles \| 部分構造論理 \| 亚结构逻辑	3
Q1088088 [CC \| ]	possible world	Mondes possibles \| 可能世界論 \| 可能世界	3
Q7281 [CC \| ]	propaganda	Propagande \| プロパガンダ \| 政治宣传	3
Q321703 [CC \| ]	premise	Prémisse \| 前提 \| 前件	3
Q81009 [CC \| ]	rhetoric	修辞学 \| Rhétorique	3
Q298521 [CC \| ]	Saul Kripke	Saul Kripke \| ソール・クリプキ \| 索尔·阿伦·克里普克	3
Q335148 [CC \| ]	Stephen Cole Kleene	Stephen Cole Kleene \| スティーヴン・コール・クリーネ \| 斯蒂芬·科尔·克莱尼	3
Q731361 [CC \| ]	Enciclopedia Treccani	Enciclopedia Treccani \| Enciclopédia Treccani	3
Q1768199 [CC \| ]	Great Russian Encyclopedia	Grande Enciclopedia Rusa \| Wielka Encyklopedia Rosyjska \| Большая российская энциклопедия	3
Q719112 [CC \| ]	MathWorld	MathWorld \| 매스월드	3
Q8216 [CC \| ]	Greek alphabet	אלפבית יווני \| Греческий алфавит \| Грек алфавиты	3
Q620006 [CC \| ]	order type	טיפוס סדר \| 順序型 \| Порядковый тип	3
Q607728 [CC \| ]	irrational number	מספר אי-רציונלי \| Иррациональное число \| Иррациональ һан	3
Q191884 [CC \| ]	inverse function	פונקציה הפיכה \| 逆写像 \| 역함수	3
Q170058 [CC \| ]	continuous function	פונקציה רציפה (אנליזה) \| Funkcja ciągła \| 連續函數	3
Q382520 [CC \| ]	affine geometry	Affin geometria \| Geometria afiniczna \| Afina geometrija	3
Q307 [CC \| ]	Galileo Galilei	Galileo Galilei \| Galileusz \| Галилей, Галилео	3
Q903820 [CC \| ]	field theory	Testelmélet \| Теория полей \| 場論	3
Q190109 [CC \| ]	field	Campo (matematica) \| Поле (алгебра) \| Ялан (алгебра)	3
Q186531 [CC \| ]	axiology	価値論 \| Axiologie \| 價值論	3
Q843829 [CC \| ]	recursion theory	再帰理論 \| Teoria rekursji \| 递归论	3
Q371983 [CC \| ]	indicator function	指示関数 \| 지시 함수 \| Função indicadora	3
Q2248521 [CC \| ]	mathematical beauty	数学的な美 \| Красота математики \| 數學之美	3
Q856215 [CC \| ]	indexed family	族 (数学) \| 族 (數學) \| Indeksita familio	3
Q3284266 [CC \| ]	elementary mathematics	算数 \| Matematyka elementarna \| Элементарная математика	3
Q270105 [CC \| ]	argumentation theory	議論学 \| Teoria argumentării \| 辨證理論	3
Q149999 [CC \| ]	differential calculus	Дифференциалдық есептеу \| Дифференциальное исчисление \| 微分	3
Q150008 [CC \| ]	integral calculus	Интегралдық есептеу \| Integraalrekening \| Интегральное исчисление	3
Q486902 [CC \| ]	mathematical model	Математикалық модельдеу \| Математическая модель \| 數學模型	3
Q7636 [CC \| ]	1845	1845 \| 1845년	3
Q2094 [CC \| ]	1918	1918 \| 1918년	3
Q47607 [CC \| ]	SQL	SQL	3
Q79872 [CC \| ]	object-oriented programming	객체 지향 프로그래밍 \| Lập trình hướng đối tượng \| Nesne yönelimli programlama	3
Q192588 [CC \| ]	relational database	관계형 데이터베이스 \| Cơ sở dữ liệu quan hệ \| İlişkisel veritabanı	3
Q249999 [CC \| ]	grid computing	그리드 컴퓨팅 \| Điện toán lưới \| Dağıtımlı hesaplama	3
Q145490 [CC \| ]	network topology	네트워크 토폴로지 \| Cấu trúc liên kết mạng \| 网络拓扑	3
Q22725 [CC \| ]	routing	라우팅 \| 路由 \| Yönlendirme	3
Q477538 [CC \| ]	systems architecture	시스템 아키텍처 \| 系统架构 \| Sistem mimarisi	3
Q38 [CC \| ]	Italy	이탈리아 \| Италија \| Litaliyän	3
Q1197129 [CC \| ]	evolutionary computation	진화 연산 \| 进化计算 \| Evrimsel hesaplama	3
Q357300 [CC \| ]	Lie theory	Teori Lie \| Teoria de Lie \| Теорія Лі	3
Q7756337 [CC \| ]	differential algebra	Algebra różniczkowa \| Дифференциальная алгебра \| Дифференциаллă алгебра	3
Q39645 [CC \| ]	semantics	Semantică \| Ngữ nghĩa học \| 语义学	3
Q9129 [CC \| ]	Greek	Греческий язык \| Грецька мова \| Грек теле	3
Q184609 [CC \| ]	expert system	Hệ chuyên gia \| 专家系统 \| Uzman sistemler	3
Q176165 [CC \| ]	database management system	Hệ quản trị cơ sở dữ liệu \| 数据库管理系统 \| Veritabanı yönetim sistemi	3
Q147638 [CC \| ]	cognitive science	Khoa học nhận thức \| 认知科学 \| Bilişsel bilim	3
Q176555 [CC \| ]	quantum computer	Máy tính lượng tử \| 量子计算机 \| Kuantum bilgisayarı	3
Q121769 [CC \| ]	reference	參考 \| Tham khảo	3
Q341810 [CC \| ]	Ackermann set theory	Ackermann set theory \| Ackermann-Mengenlehre	2
Q153224 [CC \| ]	Andrey Kolmogorov	Andrey Kolmogorov \| Андрэй Мікалаевіч Калмагораў	2
Q1315869 [CC \| ]	arity	Arity	2
Q2631895 [CC \| ]	automated planning and scheduling	Automated planning and scheduling \| Автоматизоване планування та диспетчеризація	2
Q18205396 [CC \| ]	axiom of adjunction	Axiom of adjunction \| Аксіома приєднання	2
Q28500947 [CC \| ]	binary logic	Boolean logic \| ブール論理	2
Q21086747 [CC \| ]	Borel set	Borel set \| Zbiór borelowski	2
Q428414 [CC \| ]	circular definition	Circular definition \| Definición circular	2
Q3508260 [CC \| ]	complete theory	Complete theory \| نظرية كاملة	2
Q5157286 [CC \| ]	computational complexity	Computational complexity \| Złożoność obliczeniowa	2
Q362601 [CC \| ]	computational engineering	Computational engineering \| مهندسی و علم محاسبه	2
Q1201165 [CC \| ]	determinacy	Determinacy \| Gry nieskończone	2
Q3153007 [CC \| ]	distributed artificial intelligence	Distributed artificial intelligence \| هوش مصنوعی توزیع شده	2
Q1366581 [CC \| ]	Erdős–Rado theorem	Erdős–Rado theorem \| Twierdzenie Erdősa-Rado	2
Q172891 [CC \| ]	Elements	Euclid's Elements	2
Q1376788 [CC \| ]	European Mathematical Society	European Mathematical Society \| ヨーロッパ数学会	2
Q5450405 [CC \| ]	finite model theory	Finite model theory \| 有限モデル理論	2
Q373045 [CC \| ]	formal grammar	Formal grammar	2
Q3005945 [CC \| ]	formation rule	Formation rule \| 構成規則	2
Q5510835 [CC \| ]	future of mathematics	Future of mathematics \| Tương lai của toán học	2
Q5532389 [CC \| ]	general set theory	General set theory \| Загальна теорія множин	2
Q951409 [CC \| ]	Georg Kreisel	Georg Kreisel	2
Q1465090 [CC \| ]	Grothendieck universe	Grothendieck universe \| グロタンディーク宇宙	2
Q600158 [CC \| ]	hardware acceleration	Hardware acceleration \| شتاب‌دهنده سخت‌افزاری	2
Q1644136 [CC \| ]	higher-order logic	Higher-order logic \| 高階述語論理	2
Q5891840 [CC \| ]	homotopy type theory	Homotopy type theory \| Teoría de tipos homotópica	2
Q17028365 [CC \| ]	Hyperarithmetical theory	Hyperarithmetical theory \| Teoria hiperaritmética	2
Q5957897 [CC \| ]	hypercomplex analysis	Hypercomplex analysis \| تحليل فوق عقدي	2
Q3149511 [CC \| ]	impredicativity	Impredicativity \| Impredicatividad	2
Q6029708 [CC \| ]	infinitary combinatorics	Infinitary combinatorics \| Combinatória infinitária	2
Q6030572 [CC \| ]	Informal mathematics	Informal mathematics \| رياضيات غير رسمية	2
Q1061656 [CC \| ]	interaction design	Interaction design \| طراحی تعاملی	2
Q216811 [CC \| ]	John Venn	John Venn	2
Q1708166 [CC \| ]	Joseph Dauben	Joseph Dauben	2
Q3526833 [CC \| ]	Kripke–Platek set theory	Kripke–Platek set theory \| Théorie des ensembles de Kripke-Platek	2
Q207505 [CC \| ]	lemma	Lemma (mathematics)	2
Q6638184 [CC \| ]	list of set theory topics	List of set theory topics \| Daftar topik teori himpunan	2
Q6641390 [CC \| ]	list of statements undecidable in ZFC	List of statements independent of ZFC \| ZFC系統無法確定的命題列表	2
Q191081 [CC \| ]	logical conjunction	Logical conjunction	2
Q1651704 [CC \| ]	logical disjunction	Logical disjunction \| Dizyunksiya	2
Q220433 [CC \| ]	logical equivalence	Logical equivalence	2
Q185502 [CC \| ]	many-valued logic	Many-valued logic \| 多値論理	2
Q7881229 [CC \| ]	logical implication	Material conditional \| Implication (logique)	2
Q342646 [CC \| ]	Michael Dummett	Michael Dummett	2
Q6897882 [CC \| ]	Monadic predicate calculus	Monadic predicate calculus \| Числення одномісних предикатів	2
Q12038942 [CC \| ]	multimedia database	Multimedia database \| پایگاه داده چند رسانه‌ای	2
Q864377 [CC \| ]	multiset	Multiset \| Мультимножество	2
Q639681 [CC \| ]	network architecture	Network architecture \| معماری شبکه	2
Q1978975 [CC \| ]	network scheduler	Network scheduler \| برنامه‌ریز شبکه	2
Q1640628 [CC \| ]	network service	Network service \| Мережеві сервіси	2
Q141130 [CC \| ]	photograph manipulation	Photograph manipulation \| 修飾照片	2
Q7248509 [CC \| ]	programming team	Programming team \| تیم برنامه‌نویسی	2
Q219448 [CC \| ]	projective set	Projective hierarchy \| Zbiór rzutowy	2
Q592911 [CC \| ]	quantifier	Quantifier (logic) \| Квантор	2
Q29654355 [CC \| ]	real line	Real line \| Reta real	2
Q840540 [CC \| ]	relational algebra	Relational algebra \| Algèbre relationnelle	2
Q2005236 [CC \| ]	reverse mathematics	Reverse mathematics \| 逆数学	2
Q3137210 [CC \| ]	rough set	Rough set \| 粗集合	2
Q441223 [CC \| ]	Saunders Mac Lane	Saunders Mac Lane	2
Q2509500 [CC \| ]	sentence	Sentence (mathematical logic) \| פסוק (לוגיקה)	2
Q1771121 [CC \| ]	sequent calculus	Sequent calculus \| シークエント計算	2
Q7456314 [CC \| ]	set theory	Set theory (music) \| Muusikaline hulgateooria	2
Q3352804 [CC \| ]	set-builder notation	Set-builder notation \| Форма записи множества	2
Q3915190 [CC \| ]	set-theoretic topology	Set-theoretic topology \| Topologia mnogościowa	2
Q615684 [CC \| ]	social computing	Social computing \| رایانش اجتماعی	2
Q3398377 [CC \| ]	software construction	Software construction \| ساخت نرم‌افزار	2
Q957416 [CC \| ]	Solomon Feferman	Solomon Feferman	2
Q2749902 [CC \| ]	square of opposition	Square of opposition \| Логічний квадрат	2
Q1851710 [CC \| ]	structure	Structure (mathematical logic) \| Struktur (logika matematika)	2
Q2372244 [CC \| ]	symbol	Symbol (formal) \| Символ (логіка)	2
Q610398 [CC \| ]	system on a chip	System on a chip \| سامانه روی یک تراشه	2
Q209555 [CC \| ]	tautology	Tautology (logic)	2
Q237125 [CC \| ]	term logic	Term logic \| Logique traditionnelle	2
Q10859910 [CC \| ]	theory	Theory (mathematical logic) \| Teoria (logika)	2
Q737279 [CC \| ]	timeline of mathematics	Timeline of mathematics \| เส้นเวลาของคณิตศาสตร์	2
Q470503 [CC \| ]	Walter Rudin	Walter Rudin	2
Q1710397 [CC \| ]	reason	استدلال	2
Q3142865 [CC \| ]	logical reasoning	تفكير منطقي \| 論理的推論	2
Q3235413 [CC \| ]	list of logic symbols	قائمة الرموز المنطقية \| 逻辑符号表	2
Q1003009 [CC \| ]	formal logic	Formal məntiq \| Формальная логика	2
Q246506 [CC \| ]	field of sets	Алгебра мностваў \| Άλγεβρα συνόλων	2
Q58778 [CC \| ]	system	Сістэма \| 系統	2
Q7656 [CC \| ]	1851	1851 \| 1851 йыл	2
Q468391 [CC \| ]	Bolzano–Weierstrass theorem	Теорема на Болцано-Вайерщрас (за безкрайните редици) \| 保西奴-華實斯定理	2
Q1322856 [CC \| ]	correspondence	Correspondència \| 対応 (数学)	2
Q116334 [CC \| ]	Paul Finsler	Paul Finsler	2
Q1888019 [CC \| ]	Petr Vopěnka	Petr Vopěnka	2
Q14806642 [CC \| ]	No label in en!	Rozdíl množin \| Rozdiel množín	2
Q1186818 [CC \| ]	Den Store Danske Encyklopædi	Den Store Danske Encyklopædi	2
Q18386547 [CC \| ]	Cantor's paradise	Cantors Paradies \| بهشت کانتور	2
Q842346 [CC \| ]	equality	Gleichheit (Mathematik) \| Uguaglianza (matematica)	2
Q61002 [CC \| ]	pseudonym	Pseudonym \| Psevdonim	2
Q2021 [CC \| ]	2006	2006	2
Q188715 [CC \| ]	statistical mechanics	Στατιστική μηχανική \| Meccanica statistica	2
Q912887 [CC \| ]	Cambridge University Press	Cambridge University Press	2
Q17502105 [CC \| ]	infimum and supremum	Elemento supremo e ínfimo \| Supremo e ínfimo	2
Q815741 [CC \| ]	geometric shape	Figura geométrica \| Irudi geometriko	2
Q17285 [CC \| ]	plane	Plano (geometría) \| Planu (xeometría)	2
Q190269 [CC \| ]	zbMATH Open	Zentralblatt MATH \| 첸트랄블라트 마트	2
Q2439 [CC \| ]	1980	1980	2
Q1986 [CC \| ]	2003	2003	2
Q1995 [CC \| ]	2010	2010	2
Q2222142 [CC \| ]	list of logicians	فهرست منطقدانان \| 論理学者	2
Q876049 [CC \| ]	very-large-scale integration	یکپارچه‌سازی کلان‌مقیاس \| 超大规模集成电路	2
Q668 [CC \| ]	India	Intia \| India	2
Q1336170 [CC \| ]	Ramsey theory	Ramseyn lause \| Teoria Ramseya	2
Q7806 [CC \| ]	1880	1880 \| 1880 йыл	2
Q1140419 [CC \| ]	ambiguity	Ambiguïté \| 曖昧	2
Q488152 [CC \| ]	philosophical analysis	Analyse (philosophie) \| 哲學分析	2
Q1094228 [CC \| ]	logical atomism	Atomisme logique \| 逻辑原子论	2
Q211411 [CC \| ]	Chrysippus of Soli	Chrysippe de Soles \| クリュシッポス	2
Q178518 [CC \| ]	completeness	Complétude \| 完备性	2
Q1530061 [CC \| ]	credibility	Crédibilité \| 公信力	2
Q77297 [CC \| ]	Ernst Schröder	Ernst Schröder \| Шрёдер, Эрнст	2
Q7958 [CC \| ]	explanation	Explication \| 説明	2
Q771148 [CC \| ]	Fundamenta Mathematicae	Fundamenta Mathematicae	2
Q92611 [CC \| ]	Haskell Curry	Haskell Curry \| ハスケル・カリー	2
Q77504 [CC \| ]	Leopold Löwenheim	Leopold Löwenheim \| 利奥波德·勒文海姆	2
Q387196 [CC \| ]	description logic	Logique de description \| 描述逻辑	2
Q1076131 [CC \| ]	presupposition	Présupposition \| 前提	2
Q183046 [CC \| ]	meaning	Sens (linguistique) \| 意味	2
Q1149336 [CC \| ]	trigonometric series	Série trigonométrique \| Тригонометрический ряд	2
Q1457052 [CC \| ]	well-ordering theorem	Théorème de Zermelo \| משפט הסדר הטוב	2
Q7753 [CC \| ]	1872	1872	2
Q7851 [CC \| ]	1899	1899	2
Q2045 [CC \| ]	1903	1903 \| 1903 йыл	2
Q2165 [CC \| ]	1922	1922 \| 1922 йыл	2
Q18107 [CC \| ]	1925	1925 \| 1925 йыл	2
Q2481 [CC \| ]	1977	1977	2
Q460907 [CC \| ]	National Central Library of Florence	Biblioteca Nacional Central de Florencia \| Biblioteca Nacional Central de Florença	2
Q11772 [CC \| ]	Ancient Greece	Grecia antiga \| Starożytna Grecja	2
Q25339 [CC \| ]	5th century BC	Século -V \| Século V a.C.	2
Q7844 [CC \| ]	1895	1895 \| 1895 йыл	2
Q7847 [CC \| ]	1897	1897 \| 1897 йыл	2
Q901446 [CC \| ]	Hasse diagram	דיאגרמת הסה \| ハッセ図	2
Q1248241 [CC \| ]	converse relation	יחס הופכי \| 逆関係	2
Q621461 [CC \| ]	symmetric relation	יחס סימטרי \| 対称関係	2
Q1948412 [CC \| ]	morphism	מורפיזם \| Морфізм	2
Q474715 [CC \| ]	partially ordered set	סדר חלקי \| 偏序	2
Q369377 [CC \| ]	total order	סדר מלא \| 全順序	2
Q185148 [CC \| ]	interval	Intervallum \| 間距	2
Q131454 [CC \| ]	Library of Congress	Kongresszusi Könyvtár \| Kongresa bibliotēka	2
Q748349 [CC \| ]	mathematical structure	Matematikai struktúra \| Struktura matematyczna	2
Q44337 [CC \| ]	matrix	Mátrix (matematika) \| Матрица (математика)	2
Q58413 [CC \| ]	Greek mathematics	Matematika Yunani \| Математика в Древней Греции	2
Q944 [CC \| ]	quantum mechanics	Meccanica quantistica \| Mecanică cuantică	2
Q176737 [CC \| ]	stochastic process	Processo stocastico \| 隨機過程	2
Q830340 [CC \| ]	computer algebra system	Sistema di algebra computazionale \| 計算機代數系統	2
Q774123 [CC \| ]	approximation theory	Teoria dell'approssimazione \| 逼近理論	2
Q465654 [CC \| ]	American Mathematical Society	アメリカ数学会 \| Amerykańskie Towarzystwo Matematyczne	2
Q2143621 [CC \| ]	topos	トポス (数学) \| 拓撲斯	2
Q4973304 [CC \| ]	Boolean algebra	ブール代数 \| Булева алгебра	2
Q126692 [CC \| ]	pragmatism	プラグマティズム \| 实用主义	2
Q188572 [CC \| ]	fact	事実 \| 事實	2
Q179899 [CC \| ]	topological space	位相空間 \| Топологическое пространство	2
Q1283623 [CC \| ]	cofinality	共終数 \| 공종도	2
Q244761 [CC \| ]	function composition	写像の合成 \| 함수의 합성	2
Q217602 [CC \| ]	analysis	分析 \| Analysis	2
Q202253 [CC \| ]	nominalism	唯名論	2
Q860611 [CC \| ]	International Congress of Mathematicians	国際数学者会議 \| Международный конгресс математиков	2
Q1191286 [CC \| ]	successor ordinal	後続順序数 \| 后继序数	2
Q321119 [CC \| ]	identity function	恒等写像 \| 항등 함수	2
Q3962655 [CC \| ]	opinion	意見 \| 意见	2
Q54561312 [CC \| ]	well-ordered set	整列集合 \| Вполне упорядоченное множество	2
Q781833 [CC \| ]	temporal logic	時相論理 \| 时间逻辑	2
Q21285678 [CC \| ]	index set	添字集合 \| Індексна множина	2
Q6059147 [CC \| ]	intuitionistic type theory	直観主義型理論 \| 直觉类型论	2
Q302542 [CC \| ]	deontic logic	義務論理 \| 道义逻辑	2
Q3589420 [CC \| ]	complex differential equation	複素微分方程式 \| 複微分方程	2
Q1150675 [CC \| ]	computer-assisted proof	計算機援用証明 \| Доказові обчислення	2
Q3695082 [CC \| ]	sign	記号 \| Alama	2
Q1347436 [CC \| ]	epistemic modal logic	認識論理 \| 认识逻辑	2
Q180750 [CC \| ]	Element	Элемент \| Elemento	2
Q7684 [CC \| ]	1858	1858년 \| 1858	2
Q589250 [CC \| ]	PCF theory	가능 공종도 \| Teoria PCF	2
Q8037925 [CC \| ]	computational neuroscience	계산신경과학 \| Hesaplamalı nörobilim	2
Q223335 [CC \| ]	structured programming	구조적 프로그래밍 \| Lập trình cấu trúc	2
Q259864 [CC \| ]	microarchitecture	마이크로아키텍처 \| Bilgisayar organizasyonu	2
Q849798 [CC \| ]	knot theory	매듭 이론 \| Teoria węzłów	2
Q6453739 [CC \| ]	primitive notion	무정의 용어 \| Pojęcie pierwotne	2
Q211172 [CC \| ]	Mathematical Reviews	수학 리뷰 \| Mathematical Reviews	2
Q263847 [CC \| ]	artificial life	인공생명 \| Yapay yaşam	2
Q1308570 [CC \| ]	stochastic calculus	확률미적분학 \| 隨機微積分	2
Q2474 [CC \| ]	1970	1970 \| 1970 йыл	2
Q2024 [CC \| ]	2007	2007	2
Q215071 [CC \| ]	supremum	Supremum \| 最小上界	2
Q235028 [CC \| ]	Set	ഗണം (വിവക്ഷകൾ) \| Tập hợp	2
Q788331 [CC \| ]	function	Funksjon \| Funkcio	2
Q83478 [CC \| ]	group	Grupe (matematike) \| Grupa (matematyka)	2
Q2234833 [CC \| ]	convex analysis	Analiza wypukła \| Опуклий аналіз	2
Q7214750 [CC \| ]	elementary arithmetic	Arytmetyka elementarna \| Operație aritmetică elementară	2
Q2746792 [CC \| ]	noncommutative geometry	Geometria nieprzemienna \| Некоммутативная геометрия	2
Q326905 [CC \| ]	spherical geometry	Geometria sferyczna \| Geometrie sferică	2
Q161846 [CC \| ]	Kazimierz Kuratowski	Kazimierz Kuratowski \| Казимир Куратовський	2
Q967960 [CC \| ]	Mathematics Subject Classification	MSC 2000 \| 数学学科分类标准	2
Q1128453 [CC \| ]	actuarial science	Matematyka ubezpieczeniowa \| 精算學	2
Q1345659 [CC \| ]	catastrophe theory	Teoria katastrof \| Теория катастроф	2
Q2409122 [CC \| ]	spectral theory	Teoria spektralna \| Спектральная теория	2
Q3174497 [CC \| ]	dynamical systems theory	Teoria układów dynamicznych \| Теорія динамічних систем	2
Q234535 [CC \| ]	Great Soviet Encyclopedia	Grande Enciclopédia Soviética \| Большая советская энциклопедия	2
Q29175 [CC \| ]	derivative	Derivată \| Функцин тăхăмĕ	2
Q186475 [CC \| ]	partial derivative	Derivată parțială \| Харпăр тăхăм	2
Q325696 [CC \| ]	Pavel Aleksandrov	Александров, Павел Сергеевич \| Александров Павло Сергійович	2
Q1879333 [CC \| ]	birational geometry	Бирациональная геометрия \| Біраціональна геометрія	2
Q2662474 [CC \| ]	geometric group theory	Геометрическая теория групп \| Геометрична теорія груп	2
Q17017346 [CC \| ]	global analysis	Глобальный анализ \| Глобаллĕ анализ	2
Q2545446 [CC \| ]	grapheme	Графема	2
Q652 [CC \| ]	Italian	Итальянский язык \| Итальян теле	2
Q273188 [CC \| ]	Cantor set	Канторово множество \| Cantor set	2
Q41675 [CC \| ]	Guinness World Records	Книга рекордов Гиннесса \| Гиннесстың рекордтар китабы	2
Q3526736 [CC \| ]	combinatorial group theory	Комбинаторная теория групп \| Комбінаторна теорія груп	2
Q2079 [CC \| ]	Leipzig	Лейпциг	2
Q374024 [CC \| ]	Nikolai Luzin	Лузин, Николай Николаевич \| Лузін Микола Миколайович	2
Q2440867 [CC \| ]	Mir Publishers	Мир (издательство) \| Мир (видавництво)	2
Q18848 [CC \| ]	module	Модуль над кольцом \| Ҡулса өҫтөндә модуль	2
Q515319 [CC \| ]	Andrzej Mostowski	Мостовский, Анджей \| Мостовський Анджей	2
Q1028161 [CC \| ]	Grelling–Nelson paradox	Парадокс Греллинга — Нельсона \| Парадокс Ґреллінґа — Нельсона	2
Q49008 [CC \| ]	prime number	Простое число \| 質數	2
Q49218 [CC \| ]	Rochester	Рочестер (Нью-Йорк)	2
Q193544 [CC \| ]	music theory	Теория музыки \| 樂理	2
Q9056 [CC \| ]	Czech	Чешский язык \| Чех теле	2
Q35724 [CC \| ]	1960s	1960. \| 1960au	2
Q1174982 [CC \| ]	set of real numbers	Теорија скупова континуума \| Континуум (теорія множин)	2
Q2035 [CC \| ]	1901	1901 \| 1901 йыл	2
Q132364 [CC \| ]	communication protocol	Комунікаційний протокол \| 网络传输协议	2
Q193076 [CC \| ]	functional programming	Lập trình hàm \| Fonksiyonel programlama	2
Q275603 [CC \| ]	logic programming	Lập trình logic \| Mantık programlama	2
Q1418502 [CC \| ]	procedural programming	Lập trình thủ tục \| Yordamsal programlama	2
Q418 [CC \| ]	telecommunication	Viễn thông \| Telekomünikasyon	2
Q1122550 [CC \| ]	computer music	Âm nhạc máy tính \| Bilgisayar müziği	2
Q150971 [CC \| ]	computer graphics	Đồ họa máy tính \| 计算机图形学	2
Q875267 [CC \| ]	necessity and sufficiency	充分必要条件 \| 充分必要條件	2
Q485413 [CC \| ]	analytic–synthetic distinction	分析-綜合區別	2
Q938438 [CC \| ]	statistical inference	推論統計學	2
Q52 [CC \| ]	Wikipedia	Vikipediya \| Wikipedia	2
Q2748142 [CC \| ]	abstract logic	Abstract logic	1
Q1005222 [CC \| ]	algebraic logic	Algebraic logic	1
Q840148 [CC \| ]	almost	Almost	1
Q837518 [CC \| ]	alphabet	Alphabet (formal languages)	1
Q4747788 [CC \| ]	amorphous set	Amorphous set	1
Q4345785 [CC \| ]	atomic sentence	Atomic sentence	1
Q431667 [CC \| ]	automated theorem proving	Automated theorem proving	1
Q1151112 [CC \| ]	axiom of constructibility	Axiom of constructibility	1
Q3511558 [CC \| ]	axiom of global choice	Axiom of global choice	1
Q836475 [CC \| ]	axiom of limitation of size	Axiom of limitation of size	1
Q4943350 [CC \| ]	Boolean algebras canonically defined	Boolean algebras canonically defined	1
Q4944905 [CC \| ]	Borel equivalence relation	Borel equivalence relation	1
Q893487 [CC \| ]	Borel hierarchy	Borel hierarchy	1
Q15830473 [CC \| ]	Morley's categoricity theorem	Categorical theory	1
Q2518298 [CC \| ]	category of sets	Category of sets	1
Q1089708 [CC \| ]	Church encoding	Church encoding	1
Q5154224 [CC \| ]	Communications on Pure and Applied Mathematics	Communications on Pure and Applied Mathematics	1
Q1149458 [CC \| ]	compactness theorem	Compactness theorem	1
Q1121462 [CC \| ]	compiler construction	Compiler construction	1
Q1575634 [CC \| ]	concrete category	Concrete category	1
Q864213 [CC \| ]	Conservative extension	Conservative extension	1
Q2584477 [CC \| ]	Construction of the real numbers	Construction of the real numbers	1
Q5164501 [CC \| ]	constructive set theory	Constructive set theory	1
Q25203375 [CC \| ]	control variable	Control variable (programming)	1
Q5166024 [CC \| ]	Controversy over Cantor's theory	Controversy over Cantor's theory	1
Q445989 [CC \| ]	Crispin Wright	Crispin Wright	1
Q18349448 [CC \| ]	cumulative hierarchy	Cumulative hierarchy	1
Q5249754 [CC \| ]	Dedekind-infinite set	Dedekind-infinite set	1
Q3322159 [CC \| ]	deductive system	Deductive system	1
Q15805655 [CC \| ]	diagram	Diagram (mathematical logic)	1
Q4355172 [CC \| ]	Edward N. Zalta	Edward N. Zalta	1
Q5347253 [CC \| ]	Effective descriptive set theory	Effective descriptive set theory	1
Q5358902 [CC \| ]	Elementary diagram	Elementary diagram	1
Q877149 [CC \| ]	elementary equivalence	Elementary equivalence	1
Q5358906 [CC \| ]	elementary function arithmetic	Elementary function arithmetic	1
Q5384443 [CC \| ]	Equiconsistency	Equiconsistency	1
Q1361544 [CC \| ]	Errett Bishop	Errett Bishop	1
Q5418700 [CC \| ]	Evolutionary dynamics	Evolutionary dynamics	1
Q6498784 [CC \| ]	mathematical expression	Expression (mathematics)	1
Q5421941 [CC \| ]	Extension by definitions	Extension by definitions	1
Q5163116 [CC \| ]	Conservativity theorem	Extension by new constant and function names	1
Q965432 [CC \| ]	extensionality	Extensionality	1
Q16545258 [CC \| ]	filter	Filter (set theory)	1
Q55611653 [CC \| ]	Finite-valued logic	Finite-valued logic	1
Q111181235 [CC \| ]	Fixed-point logic	Fixed-point logic	1
Q5474574 [CC \| ]	foundations of geometry	Foundations of geometry	1
Q3502887 [CC \| ]	free logic	Free logic	1
Q935944 [CC \| ]	free and bound variables	Free variables and bound variables	1
Q5508846 [CC \| ]	functional predicate	Functional predicate	1
Q1503269 [CC \| ]	Geomathematics	Geomathematics	1
Q18344972 [CC \| ]	Glossary of set theory	Glossary of set theory	1
Q431411 [CC \| ]	ground expression	Ground expression	1
Q110765095 [CC \| ]	ground formula	Ground formula	1
Q1451046 [CC \| ]	Gödel numbering	Gödel numbering	1
Q30325435 [CC \| ]	hardware security	Hardware security	1
Q5737878 [CC \| ]	Hereditary set	Hereditary set	1
Q910361 [CC \| ]	Hilbert system	Hilbert system	1
Q840243 [CC \| ]	Hilbert's axioms	Hilbert's axioms	1
Q55614449 [CC \| ]	Infinite-valued logic	Infinite-valued logic	1
Q6033616 [CC \| ]	inhabited set	Inhabited set	1
Q6035657 [CC \| ]	inner model theory	Inner model theory	1
Q635642 [CC \| ]	Institute for Advanced Study	Institute for Advanced Study	1
Q1026899 [CC \| ]	intensional definition	Intensional definition	1
Q1666284 [CC \| ]	internal set theory	Internal set theory	1
Q17101792 [CC \| ]	interpretation	Interpretation (model theory)	1
Q188211 [CC \| ]	invariant	Invariant (mathematics)	1
Q1456811 [CC \| ]	Kolmogorov complexity	Kolmogorov complexity	1
Q2379128 [CC \| ]	Lindström's theorem	Lindström's theorem	1
Q27948 [CC \| ]	list	List (abstract data type)	1
Q6626686 [CC \| ]	list of logic systems	List of Hilbert systems	1
Q3632199 [CC \| ]	list of axioms	List of axioms	1
Q6619927 [CC \| ]	list of films about mathematicians	List of films about mathematicians	1
Q2908665 [CC \| ]	list of first-order theories	List of first-order theories	1
Q6621081 [CC \| ]	list of formal systems	List of formal systems	1
Q6627335 [CC \| ]	list of mathematical theories	List of mathematical theories	1
Q104867734 [CC \| ]	list of set identities and relations	List of set identities and relations	1
Q204355 [CC \| ]	logical biconditional	Logical biconditional	1
Q1782658 [CC \| ]	logical constant	Logical constant	1
Q3308477 [CC \| ]	logic equality	Logical equality	1
Q6780835 [CC \| ]	Mary Tiles	Mary Tiles	1
Q193983 [CC \| ]	metalanguage	Metalanguage	1
Q4059939 [CC \| ]	Wolfram axiom	Minimal axioms for Boolean algebra	1
Q6888319 [CC \| ]	model complete theory	Model complete theory	1
Q26899137 [CC \| ]	monadic second-order logic	Monadic second-order logic	1
Q6908267 [CC \| ]	Moore space	Moore space (topology)	1
Q6934509 [CC \| ]	multi-task learning	Multi-task learning	1
Q6954693 [CC \| ]	nLab	NLab	1
Q628036 [CC \| ]	NP	NP (complexity)	1
Q7001161 [CC \| ]	network performance	Network performance	1
Q7048956 [CC \| ]	Non-logical symbol	Non-logical symbol	1
Q3318128 [CC \| ]	non-standard model	Non-standard model	1
Q3318130 [CC \| ]	non-standard model of arithmetic	Non-standard model of arithmetic	1
Q830486 [CC \| ]	open formula	Open formula	1
Q7100782 [CC \| ]	ordinal analysis	Ordinal analysis	1
Q7112594 [CC \| ]	Outline of computer science	Outline of computer science	1
Q846354 [CC \| ]	P	P (complexity)	1
Q7208299 [CC \| ]	pointclass	Pointclass	1
Q7208386 [CC \| ]	pointless topology	Pointless topology	1
Q10531432 [CC \| ]	predicate variable	Predicate variable	1
Q7243580 [CC \| ]	primitive recursive arithmetic	Primitive recursive arithmetic	1
Q17163436 [CC \| ]	proof of impossibility	Proof of impossibility	1
Q59489332 [CC \| ]	proper subset	Proper subset	1
Q1372900 [CC \| ]	propositional formula	Propositional formula	1
Q16705128 [CC \| ]	propositional logic	Propositional logic	1
Q3492863 [CC \| ]	propositional variable	Propositional variable	1
Q7268912 [CC \| ]	quantifier rank	Quantifier rank	1
Q123739394 [CC \| ]	Relation	Relation (mathematics)	1
Q7311546 [CC \| ]	Remarks on the Foundations of Mathematics	Remarks on the Foundations of Mathematics	1
Q928884 [CC \| ]	Robinson arithmetic	Robinson arithmetic	1
Q1350299 [CC \| ]	satisfiability	Satisfiability	1
Q1473532 [CC \| ]	Saturated model	Saturated model	1
Q7442973 [CC \| ]	second-order arithmetic	Second-order arithmetic	1
Q2798820 [CC \| ]	security hacker	Security hacker	1
Q7448234 [CC \| ]	Self-verifying theories	Self-verifying theories	1
Q7449101 [CC \| ]	semantic theory of truth	Semantic theory of truth	1
Q951438 [CC \| ]	Sergei Fomin	Sergei Fomin	1
Q7456256 [CC \| ]	Set Theory: An Introduction to Independence Proofs	Set Theory: An Introduction to Independence Proofs	1
Q97509804 [CC \| ]	Set theory	Set theory (disambiguation)	1
Q741810 [CC \| ]	signature	Signature (logic)	1
Q7536198 [CC \| ]	Skolem arithmetic	Skolem arithmetic	1
Q18392333 [CC \| ]	Spectrum of a sentence	Spectrum of a sentence	1
Q7575321 [CC \| ]	Spectrum of a theory	Spectrum of a theory	1
Q30587585 [CC \| ]	Stone space	Stone space	1
Q1989404 [CC \| ]	strength	Strength (mathematical logic)	1
Q2594083 [CC \| ]	word	String (formal languages)	1
Q1522579 [CC \| ]	substitution	Substitution (logic)	1
Q859254 [CC \| ]	Substructure	Substructure (mathematics)	1
Q7644269 [CC \| ]	supertask	Supertask	1
Q442383 [CC \| ]	T-schema	T-schema	1
Q7686756 [CC \| ]	Tarski's axiomatization of the reals	Tarski's axiomatization of the reals	1
Q7686757 [CC \| ]	Tarski's axioms	Tarski's axioms	1
Q574902 [CC \| ]	Tarski's undefinability theorem	Tarski's undefinability theorem	1
Q3984085 [CC \| ]	Tarski–Grothendieck set theory	Tarski–Grothendieck set theory	1
Q1318370 [CC \| ]	term	Term (logic)	1
Q102258622 [CC \| ]	Thomas Forster	Thomas Forster (mathematician)	1
Q185443 [CC \| ]	three-valued logic	Three-valued logic	1
Q7806105 [CC \| ]	timeline of mathematical logic	Timeline of mathematical logic	1
Q17157202 [CC \| ]	transfer principle	Transfer principle	1
Q7847560 [CC \| ]	True arithmetic	True arithmetic	1
Q7848347 [CC \| ]	Truth predicate	Truth predicate	1
Q834884 [CC \| ]	type	Type (model theory)	1
Q106671513 [CC \| ]	Ultrafilter	Ultrafilter on a set	1
Q1535225 [CC \| ]	ultraproduct	Ultraproduct	1
Q3502995 [CC \| ]	undecidable problem	Undecidable problem	1
Q7885264 [CC \| ]	Uninterpreted function	Uninterpreted function	1
Q2502253 [CC \| ]	uniqueness quantification	Uniqueness quantification	1
Q25303740 [CC \| ]	Univalent foundations	Univalent foundations	1
Q50701 [CC \| ]	variable	Variable (mathematics)	1
Q7959183 [CC \| ]	Wadge hierarchy	Wadge hierarchy	1
Q655328 [CC \| ]	well-formed formula	Well-formed formula	1
Q16482407 [CC \| ]	Academia Aragonesa de la Lengua	Academia Aragonesa d'a Luenga	1
Q1156402 [CC \| ]	reasoning	استنتاج	1
Q12183174 [CC \| ]	No label in en!	افتراض (منطق)	1
Q202834 [CC \| ]	supervenience	تابعية	1
Q12202385 [CC \| ]	No label in en!	تركيب (منطق)	1
Q146786 [CC \| ]	plural	جمع (لغة)	1
Q23407 [CC \| ]	philosophy of mind	فلسفة العقل	1
Q6627326 [CC \| ]	list of mathematical logic topics	قائمة بمواضيع المنطق الرياضي	1
Q16119569 [CC \| ]	No label in en!	قضية (توضيح)	1
Q3610632 [CC \| ]	outline of mathematics	مخطط رياضيات	1
Q28136779 [CC \| ]	Microsoft Academic	Microsoft Academic	1
Q4925193 [CC \| ]	lie	Yalan	1
Q170084 [CC \| ]	generalization	Ümumiləşdirmə	1
Q451330 [CC \| ]	Ivan Matveevich Vinogradov	Іван Мацвеевіч Вінаградаў	1
Q11028 [CC \| ]	information	Інфармацыя	1
Q13028381 [CC \| ]	No label in en!	Аляксей Адамавіч Гусак	1
Q14271902 [CC \| ]	Belarusian Petrus Brouka Encyclopedia	Беларуская Энцыклапедыя імя Петруся Броўкі	1
Q13028710 [CC \| ]	Belarusian encyclopedia	Беларуская энцыклапедыя	1
Q420 [CC \| ]	biology	Біялогія	1
Q13030390 [CC \| ]	Hienadź Paszkou	Генадзь Пятровіч Пашкоў	1
Q210315 [CC \| ]	Jacque Fresco	Жак Фрэска	1
Q68 [CC \| ]	computer	Камп’ютар	1
Q208230 [CC \| ]	Claude Bernard	Клод Бернар	1
Q8162 [CC \| ]	linguistics	Мовазнаўства	1
Q178577 [CC \| ]	Norbert Wiener	Норберт Вінер	1
Q102289 [CC \| ]	Buckminster Fuller	Рычард Бакмінстэр Фулер	1
Q60195 [CC \| ]	semiotics	Семіётыка	1
Q12281514 [CC \| ]	No label in en!	Изчислителна математика	1
Q935222 [CC \| ]	syllabus	Учебна програма	1
Q122301 [CC \| ]	Dmitry Mirimanoff	Dmitri Mirimanoff	1
Q185813 [CC \| ]	identity element	Element neutre	1
Q827230 [CC \| ]	Lebesgue measure	Mesura de Lebesgue	1
Q422220 [CC \| ]	NBG	NBG	1
Q230967 [CC \| ]	parity	Nombre parell	1
Q1140046 [CC \| ]	mathematical notation	Notació matemàtica	1
Q1096353 [CC \| ]	Skolem's paradox	Paradoxa de Skolem	1
Q937228 [CC \| ]	property	Propietat (ontologia)	1
Q3751055 [CC \| ]	No label in en!	Relació d'ordre	1
Q848368 [CC \| ]	rotation	Rotació (matemàtiques)	1
Q211459 [CC \| ]	translation	Translació (geometria)	1
Q10854110 [CC \| ]	Antonín Sochor	Antonín Sochor (matematik)	1
Q189222 [CC \| ]	intuition	Intuice	1
Q644302 [CC \| ]	motivation	Motivace	1
Q12045127 [CC \| ]	Petr Štěpánek	Petr Štěpánek (matematik)	1
Q7227098 [CC \| ]	Polythematic Structured Subject Heading System	Polytematický strukturovaný heslář	1
Q18114153 [CC \| ]	No label in en!	Pořadí	1
Q325904 [CC \| ]	breadth-first search	Prohledávání do šířky	1
Q1455907 [CC \| ]	recursive language	Rekurzivní jazyk	1
Q3511196 [CC \| ]	Semiset	Teorie polomnožin	1
Q11944616 [CC \| ]	search query operator	Vyhledávací operátory	1
Q7604 [CC \| ]	Leonhard Euler	Leonhard Euler	1
Q115312 [CC \| ]	Arnold Oberschelp	Arnold Oberschelp	1
Q792531 [CC \| ]	No label in en!	Axiomatisierung	1
Q1033872 [CC \| ]	No label in en!	Cantors erstes Diagonalargument	1
Q15437457 [CC \| ]	Christian Spannagel	Christian Spannagel	1
Q1755512 [CC \| ]	duality	Dualität (Mathematik)	1
Q2221333 [CC \| ]	∈	Elementzeichen	1
Q85660 [CC \| ]	Erich Kamke	Erich Kamke	1
Q1550801 [CC \| ]	Grundzüge der Mengenlehre	Grundzüge der Mengenlehre	1
Q96821 [CC \| ]	Heinz-Dieter Ebbinghaus	Heinz-Dieter Ebbinghaus	1
Q1663082 [CC \| ]	Ingmar Lehmann	Ingmar Lehmann	1
Q1297858 [CC \| ]	Class logic	Klassenlogik	1
Q1985213 [CC \| ]	No label in en!	Nichtmenge	1
Q1071239 [CC \| ]	stochastic	Stochastik	1
Q92697 [CC \| ]	Yiannis N. Moschovakis	Γιάννης Μοσχοβάκης	1
Q208163 [CC \| ]	signal processing	Επεξεργασία σήματος	1
Q12878202 [CC \| ]	No label in en!	Ισοδυναμία	1
Q1553339 [CC \| ]	chant	Μέλος	1
Q598451 [CC \| ]	system dynamics	Dinámica de sistemas	1
Q1346193 [CC \| ]	Klein's Encyclopedia of Mathematical Sciences	Enciclopedia de Klein	1
Q452074 [CC \| ]	Grace Chisholm Young	Grace Chisholm Young	1
Q179310 [CC \| ]	computing	Informática	1
Q190593 [CC \| ]	OCLC, Inc.	OCLC	1
Q3392001 [CC \| ]	mathematical Platonism	Platonismo matemático	1
Q35689 [CC \| ]	number line	Recta real	1
Q1148528 [CC \| ]	mathematical rigor	Rigor matemático	1
Q22908627 [CC \| ]	Semantic Scholar	Semantic Scholar	1
Q7632653 [CC \| ]	successor function	Sucesor	1
Q869557 [CC \| ]	William Henry Young	William Henry Young	1
Q2644 [CC \| ]	1968	1968	1
Q2475 [CC \| ]	1971	1971	1
Q2484 [CC \| ]	1979	1979	1
Q2067 [CC \| ]	1994	1994	1
Q97234986 [CC \| ]	No label in en!	Järjestus	1
Q12119947 [CC \| ]	No label in en!	Keeletoimetamine	1
Q25500401 [CC \| ]	No label in en!	Reaalarvude hulk	1
Q35497 [CC \| ]	Ancient Greek	Vanakreeka keel	1
Q16214314 [CC \| ]	Grafo	Grafo (argipena)	1
Q37555 [CC \| ]	polygon	Poligono	1
Q247154 [CC \| ]	counting	Zenbaketa	1
Q491558 [CC \| ]	Ibn Taymiyyah	ابن تیمیه	1
Q317787 [CC \| ]	Ibn Hazm	ابن حزم	1
Q179759 [CC \| ]	Al-Kindi	ابویوسف کندی	1
Q5157577 [CC \| ]	computer security compromised by hardware failure	به خطر افتادن امنیت کامپیوتر در اثر خرابی سخت‌افزار	1
Q193364 [CC \| ]	vicar	جانشین	1
Q5675133 [CC \| ]	No label in en!	رابطه	1
Q188619 [CC \| ]	hierarchy	سلسله‌مراتب	1
Q282883 [CC \| ]	Shihab al-Din Suhrawardi	شهاب‌الدین یحیی سهروردی	1
Q7602551 [CC \| ]	Member	عضو	1
Q9546 [CC \| ]	Al-Ghazali	غزالی	1
Q160460 [CC \| ]	Al-Farabi	فارابی	1
Q333703 [CC \| ]	Fakhr al-Din al-Razi	فخر رازی	1
Q15439057 [CC \| ]	list of rules of inference	فهرست قواعد استنتاج	1
Q1413406 [CC \| ]	technical documentation	مستندسازی فنی	1
Q171195 [CC \| ]	Nāgārjuna	ناگارجونه	1
Q189725 [CC \| ]	Panini	پانینی	1
Q4893253 [CC \| ]	Paul the Persian	پولس ایرانی	1
Q104840079 [CC \| ]	Supervised learning	یادگیری با نظارت	1
Q1217677 [CC \| ]	fundamental theorem of calculus	Analyysin peruslause	1
Q622821 [CC \| ]	calculation	Laskutoimitus	1
Q217357 [CC \| ]	sigma-algebra	Sigma-algebra	1
Q2155 [CC \| ]	1920	1920	1
Q23199274 [CC \| ]	affirmation	Affirmation	1
Q384882 [CC \| ]	Alexander Bain	Alexander Bain (philosophe)	1
Q564426 [CC \| ]	Annals of Mathematics	Annals of Mathematics	1
Q2874789 [CC \| ]	Aczel's anti-foundation axiom	Axiome d'anti-fondation	1
Q20665666 [CC \| ]	conclusion	Conclusion (logique)	1
Q1047547 [CC \| ]	algebraically closed field	Corps algébriquement clos	1
Q1200750 [CC \| ]	description	Description	1
Q63330882 [CC \| ]	Ensemble	Ensemble (homonymie)	1
Q3099466 [CC \| ]	Gauthier-Villars	Gauthier-Villars	1
Q1684974 [CC \| ]	Jean-Louis Krivine	Jean-Louis Krivine	1
Q723578 [CC \| ]	Jon Barwise	Jon Barwise	1
Q8080919 [CC \| ]	Łukasiewicz logic	Logique de Łukasiewicz	1
Q3257974 [CC \| ]	minimal logic	Logique minimale	1
Q2488768 [CC \| ]	non-monotonic logic	Logique non monotone	1
Q3354916 [CC \| ]	No label in en!	Opération ensembliste	1
Q3364869 [CC \| ]	parsimony	Parcimonie	1
Q1298883 [CC \| ]	Patrick Dehornoy	Patrick Dehornoy	1
Q1142889 [CC \| ]	isolated point	Point isolé	1
Q3426030 [CC \| ]	René Cori	René Cori	1
Q3442944 [CC \| ]	No label in en!	Rotation dans l'espace	1
Q30419785 [CC \| ]	reference	Référence (philosophie)	1
Q1483917 [CC \| ]	sophism	Sophisme	1
Q9295456 [CC \| ]	theory	Théorie axiomatique	1
Q7049089 [CC \| ]	non-well-founded set theory	Théorie des ensembles non bien fondés	1
Q30747919 [CC \| ]	No label in en!	Évidence	1
Q7848 [CC \| ]	1898	1898	1
Q2048 [CC \| ]	1907	1907	1
Q2075 [CC \| ]	1910	1910	1
Q41719 [CC \| ]	hypothesis	Hipótese	1
Q131030 [CC \| ]	operator	אופרטור	1
Q165309 [CC \| ]	inequation	אי-שוויון (מתמטיקה)	1
Q1445491 [CC \| ]	aleph null	אלף אפס	1
Q1423960 [CC \| ]	Open University of Israel	האוניברסיטה הפתוחה	1
Q2466486 [CC \| ]	recursive definition	הגדרה רקורסיבית	1
Q42866132 [CC \| ]	upper bound	חסם מלעיל	1
Q1321469 [CC \| ]	order topology	טופולוגיית סדר	1
Q18192404 [CC \| ]	weakly differentiable function	פונקציה גזירה	1
Q5189500 [CC \| ]	real-valued function	פונקציה ממשית	1
Q1033906 [CC \| ]	pairing function	פונקציית זיווג	1
Q180 [CC \| ]	Wikimedia Foundation	קרן ויקימדיה	1
Q7363457 [CC \| ]	Ron Aharoni	רון אהרוני	1
Q621080 [CC \| ]	Library of Congress Classification	שיטת ספריית הקונגרס	1
Q65285187 [CC \| ]	No label in en!	वितरण	1
Q466177 [CC \| ]	No label in en!	A halmazelmélet története	1
Q469696 [CC \| ]	history of philosophy of mathematics	A matematikafilozófia története	1
Q783037 [CC \| ]	No label in en!	Axiomatikus-deduktív módszer	1
Q43260 [CC \| ]	polynomial	Polinom	1
Q9191 [CC \| ]	René Descartes	René Descartes	1
Q2657718 [CC \| ]	Armenian Soviet Encyclopedia	Հայկական սովետական հանրագիտարան	1
Q1663788 [CC \| ]	list of numerical analysis topics	Daftar topik analisis numerik	1
Q12492173 [CC \| ]	No label in en!	Konsistensi	1
Q1931225 [CC \| ]	Michiel Hazewinkel	Michiel Hazewinkel	1
Q1329258 [CC \| ]	cardinal numeral	Nomor kardinal	1
Q151 [CC \| ]	Wiktionary	Wikiorðabókin	1
Q7832 [CC \| ]	1890	1890	1
Q18787 [CC \| ]	1930	1930	1
Q655288 [CC \| ]	is an element of	Appartenenza	1
Q1396667 [CC \| ]	postulate	Assioma	1
Q1331104 [CC \| ]	controllability	Controllabilità	1
Q16556796 [CC \| ]	didactics of mathematics	Didattica della matematica	1
Q960379 [CC \| ]	Free On-line Dictionary of Computing	Free On-line Dictionary of Computing	1
Q22169 [CC \| ]	GNU Free Documentation License	GNU Free Documentation License	1
Q1122107 [CC \| ]	Gabriele Lolli	Gabriele Lolli	1
Q3760341 [CC \| ]	No label in en!	Geometria combinatoria	1
Q753445 [CC \| ]	numerical integration	Integrazione numerica	1
Q3803714 [CC \| ]	Institute of the Italian Encyclopaedia	Istituto dell'Enciclopedia Italiana	1
Q18326817 [CC \| ]	No label in en!	Matematiche complementari	1
Q11397 [CC \| ]	classical mechanics	Meccanica classica	1
Q172145 [CC \| ]	fluid mechanics	Meccanica dei fluidi	1
Q16583225 [CC \| ]	Nuovo soggettario	Nuovo soggettario	1
Q1198874 [CC \| ]	operator theory	Teoria degli operatori	1
Q3984164 [CC \| ]	No label in en!	Teorie formali degli insiemi	1
Q1571831 [CC \| ]	ultrafilter	Ultrafiltro	1
Q204 [CC \| ]	zero	0	1
Q5062929 [CC \| ]	CIMAT Center for Mathematical Research	CIMAT数学研究センター	1
Q167558 [CC \| ]	SASTRA Ramanujan Prize	SASTRAラマヌジャン賞	1
Q782100 [CC \| ]	Society for Industrial and Applied Mathematics	SIAM (学会)	1
Q371730 [CC \| ]	well-defined	Well-defined	1
Q1861110 [CC \| ]	X-bar theory	Xバー理論	1
Q284164 [CC \| ]	μ-recursive function	Μ再帰関数	1
Q12078874 [CC \| ]	a priori	アプリオリ	1
Q3268033 [CC \| ]	Alan Ross Anderson	アラン・アンダーソン (論理学者)	1
Q1130982 [CC \| ]	Institut Henri Poincaré	アンリ・ポアンカレ研究所	1
Q188184 [CC \| ]	Abel Prize	アーベル賞	1
Q915604 [CC \| ]	Wolf Prize in Mathematics	ウルフ賞数学部門	1
Q656142 [CC \| ]	Mathematical Research Institute of Oberwolfach	オーバーヴォルファッハ数学研究所	1
Q899616 [CC \| ]	Curry's paradox	カリーのパラドックス	1
Q461528 [CC \| ]	Karnaugh map	カルノー図	1
Q1036512 [CC \| ]	Carl Friedrich Gauss Prize	ガウス賞	1
Q583069 [CC \| ]	Crafoord Prize	クラフォード賞	1
Q1099219 [CC \| ]	Clay Research Award	クレイ研究賞	1
Q621409 [CC \| ]	Quine–McCluskey algorithm	クワイン・マクラスキー法	1
Q182598 [CC \| ]	graph of a function	グラフ (関数)	1
Q11302260 [CC \| ]	Kotobank	コトバンク	1
Q375668 [CC \| ]	Cole Prize	コール賞	1
Q668729 [CC \| ]	Salem Prize	サレム賞	1
Q7435833 [CC \| ]	Scott's trick	スコットのトリック	1
Q1090524 [CC \| ]	Skolem normal form	スコーレム標準形	1
Q925929 [CC \| ]	Leroy P. Steele Prize	スティール賞	1
Q611420 [CC \| ]	Steklov Institute of Mathematics	ステクロフ数学研究所	1
Q175928 [CC \| ]	type–token distinction	タイプとトークンの区別	1
Q811591 [CC \| ]	method of analytic tableaux	タブローの方法	1
Q1070276 [CC \| ]	Chern Medal	チャーン賞	1
Q725797 [CC \| ]	Peter Geach	ピーター・ギーチ	1
Q28835 [CC \| ]	Fields medal	フィールズ賞	1
Q179467 [CC \| ]	Fourier series	フーリエ級数	1
Q301837 [CC \| ]	Bôcher Memorial Prize	ボッチャー記念賞	1
Q1653280 [CC \| ]	ICTP Ramanujan Prize	ラマヌジャン賞	1
Q121572 [CC \| ]	literal	リテラル	1
Q1810244 [CC \| ]	London Mathematical Society	ロンドン数学会	1
Q654649 [CC \| ]	Oswald Veblen Prize in Geometry	ヴェブレン賞	1
Q840667 [CC \| ]	Research Institute for Mathematical Sciences	京都大学数理解析研究所	1
Q86739053 [CC \| ]	No label in en!	人の最大の力を競う算数・数学の大会	1
Q2577553 [CC \| ]	use–mention distinction	使用と言及の区別	1
Q34394 [CC \| ]	belief	信念	1
Q7069659 [CC \| ]	numerical method for partial differential equations	偏微分方程式の数値解法	1
Q1923256 [CC \| ]	intension	内包と外延	1
Q281854 [CC \| ]	prenex normal form	冠頭標準形	1
Q1308999 [CC \| ]	restriction	制限 (数学)	1
Q1663694 [CC \| ]	inclusion map	包含写像	1
Q194404 [CC \| ]	monotonic function	単調写像	1
Q1640479 [CC \| ]	negation normal form	否定標準形	1
Q1735738 [CC \| ]	Japanese mathematics	和算	1
Q1532424 [CC \| ]	quotient mapping	商写像	1
Q11420275 [CC \| ]	dantai	団体	1
Q5574974 [CC \| ]	Go and mathematics	囲碁と数学	1
Q3243136 [CC \| ]	list of geometric shapes	図形の一覧	1
Q7983 [CC \| ]	International Mathematical Olympiad	国際数学オリンピック	1
Q828490 [CC \| ]	International Mathematical Union	国際数学連合	1
Q1375269 [CC \| ]	International Congress on Industrial and Applied Mathematics	国際産業数理・応用数理会議	1
Q1384998 [CC \| ]	extension	外延	1
Q7941494 [CC \| ]	Von Neumann cardinal assignment	始順序数	1
Q1383836 [CC \| ]	existential graph	存在グラフ	1
Q955824 [CC \| ]	learned society	学会	1
Q15846555 [CC \| ]	completeness	完全性	1
Q2481270 [CC \| ]	total relation	完全関係	1
Q735590 [CC \| ]	philosophical realism	実在論	1
Q7249440 [CC \| ]	projection	射影 (集合論)	1
Q17077782 [CC \| ]	list of large cardinal properties	巨大基数的性質の一覧	1
Q541182 [CC \| ]	numerical method for ordinary differential equations	常微分方程式の数値解法	1
Q11484292 [CC \| ]	No label in en!	広中杯	1
Q1433067 [CC \| ]	formalism	形式主義 (数学)	1
Q796212 [CC \| ]	semantics	意味論 (論理学)	1
Q3299105 [CC \| ]	mathematics of paper folding	折紙の数学	1
Q21004260 [CC \| ]	inquiry	探究	1
Q1501387 [CC \| ]	transitive closure	推移閉包	1
Q540917 [CC \| ]	list of notable numbers	数に関する記事の一覧	1
Q2004891 [CC \| ]	numerical linear algebra	数値線形代数	1
Q11499617 [CC \| ]	Mathematics	数学 (教科)	1
Q11290720 [CC \| ]	Eponym	数学のエポニムの一覧	1
Q1572106 [CC \| ]	mathematics competition	数学の競技	1
Q17278380 [CC \| ]	Breakthrough Prize in Mathematics	数学ブレイクスルー賞	1
Q848034 [CC \| ]	list of unsolved problems in mathematics	数学上の未解決問題	1
Q186509 [CC \| ]	mathematical constant	数学定数	1
Q97311254 [CC \| ]	No label in en!	数学教育協議会	1
Q17994799 [CC \| ]	No label in en!	整礎的集合	1
Q11345 [CC \| ]	equation	方程式	1
Q11506521 [CC \| ]	No label in en!	日本ジュニア数学オリンピック	1
Q65270133 [CC \| ]	The Japan Society for Industrial and Applied Mathematics	日本応用数理学会	1
Q11508177 [CC \| ]	No label in en!	日本数学オリンピック	1
Q1499025 [CC \| ]	Mathematical Society of Japan	日本数学会	1
Q984063 [CC \| ]	optimization problem	最適化問題	1
Q1513048 [CC \| ]	upward directed set	有向集合	1
Q726212 [CC \| ]	bounded set	有界	1
Q2467845 [CC \| ]	limit ordinal	極限順序数	1
Q830115 [CC \| ]	concept map	概念地図	1
Q627921 [CC \| ]	parse tree	構文木	1
Q1193137 [CC \| ]	regular cardinal	正則基数	1
Q37055 [CC \| ]	independence	独立	1
Q194699 [CC \| ]	dense order	稠密関係	1
Q2380676 [CC \| ]	Integro-differential equation	積分微分方程式	1
Q11603239 [CC \| ]	No label in en!	算道	1
Q5129538 [CC \| ]	Clausal normal form	節標準形	1
Q1858477 [CC \| ]	frugality	節約	1
Q63307393 [CC \| ]	validated numerics	精度保証付き数値計算	1
Q4853066 [CC \| ]	Institute of Statistical Mathematics	統計数理研究所	1
Q1129902 [CC \| ]	linear differential equation	線型微分方程式	1
Q1536492 [CC \| ]	Linear temporal logic	線形時相論理	1
Q17098730 [CC \| ]	Matrix analysis	行列解析	1
Q908207 [CC \| ]	complexity class	複雑性クラス	1
Q280221 [CC \| ]	interpretation	解釈	1
Q2627911 [CC \| ]	logical formula	論理式 (数学)	1
Q1144915 [CC \| ]	lexicographical order	辞書式順序	1
Q11638613 [CC \| ]	No label in en!	近畿大学数学コンテスト	1
Q846564 [CC \| ]	conjunctive normal form	連言標準形	1
Q903789 [CC \| ]	disjunctive normal form	選言標準形	1
Q1756942 [CC \| ]	partial function	部分写像	1
Q16632222 [CC \| ]	No label in en!	配置集合	1
Q27031342 [CC \| ]	quantification	量化	1
Q2795123 [CC \| ]	composition of relations	関係の合成	1
Q1991505 [CC \| ]	list of mathematical functions	関数一覧	1
Q23016238 [CC \| ]	No label in en!	関連	1
Q2298831 [CC \| ]	asymmetric relation	非対称関係	1
Q7994926 [CC \| ]	ordered set	順序集合	1
Q4116302 [CC \| ]	Ilm	Ілім	1
Q12536393 [CC \| ]	No label in en!	Буль алгебрасы	1
Q12540681 [CC \| ]	No label in en!	Дифференциалдық геометрия	1
Q12545079 [CC \| ]	No label in en!	Жорамал	1
Q241663 [CC \| ]	Continuum	Континуум	1
Q235935 [CC \| ]	Equivalence	Эквивалент	1
Q82231 [CC \| ]	NoSQL database management system	NoSQL	1
Q7624677 [CC \| ]	strongly compact cardinal	강콤팩트 기수	1
Q1771501 [CC \| ]	limit cardinal	극한 기수	1
Q3511204 [CC \| ]	Gimel function	기멜 함수	1
Q629085 [CC \| ]	multivalued function	다가 함수	1
Q761383 [CC \| ]	Riemannian geometry	리만 기하학	1
Q851598 [CC \| ]	physical security	물리 보안	1
Q831092 [CC \| ]	beth number	베트 수	1
Q746264 [CC \| ]	constant function	상수 함수	1
Q1254596 [CC \| ]	software as a service	서비스형 소프트웨어	1
Q1346018 [CC \| ]	infrastructure as a service	서비스형 인프라스트럭처	1
Q1153767 [CC \| ]	platform as a service	서비스형 플랫폼	1
Q1138423 [CC \| ]	software cracking	소프트웨어 크래킹	1
Q384699 [CC \| ]	ordinal definable set	순서수 정의 가능 집합	1
Q869647 [CC \| ]	Szpilrajn extension theorem	슈필라인 확장정리	1
Q1696827 [CC \| ]	Visualization	시각화	1
Q2905392 [CC \| ]	weakly compact cardinal	약콤팩트 기수	1
Q185524 [CC \| ]	Oracle Database	오라클 데이터베이스	1
Q1070427 [CC \| ]	internet security	인터넷 보안	1
Q7051810 [CC \| ]	Normal function	정규 함수	1
Q661020 [CC \| ]	next-generation network	차세대 통신망	1
Q7643154 [CC \| ]	supercompact cardinal	초콤팩트 기수	1
Q18353968 [CC \| ]	transitive model	추이적 모형	1
Q5157528 [CC \| ]	Computer audio	컴퓨터 오디오	1
Q206637 [CC \| ]	computer cluster	컴퓨터 클러스터	1
Q1077462 [CC \| ]	König's theorem	쾨니그의 정리 (집합론)	1
Q483639 [CC \| ]	cloud computing	클라우드 컴퓨팅	1
Q1472062 [CC \| ]	remote communication	통신	1
Q2289367 [CC \| ]	singular cardinals hypothesis	특이 기수 가설	1
Q1137014 [CC \| ]	Tychonoff's theorem	티호노프 정리	1
Q1186007 [CC \| ]	Hartogs number	하르톡스 수	1
Q2144405 [CC \| ]	hacking	해킹	1
Q2905020 [CC \| ]	Whitehead problem	화이트헤드 문제	1
Q18110 [CC \| ]	1927	1927	1
Q19715 [CC \| ]	1928	1928	1
Q18782 [CC \| ]	1931	1931	1
Q18645 [CC \| ]	1938	1938	1
Q3754 [CC \| ]	1960	1960	1
Q2755 [CC \| ]	1963	1963	1
Q2652 [CC \| ]	1964	1964	1
Q2649 [CC \| ]	1966	1966	1
Q2476 [CC \| ]	1972	1972	1
Q2477 [CC \| ]	1973	1973	1
Q2426 [CC \| ]	1988	1988	1
Q2425 [CC \| ]	1989	1989	1
Q2060 [CC \| ]	1992	1992	1
Q2065 [CC \| ]	1993	1993	1
Q2070 [CC \| ]	1996	1996	1
Q2091 [CC \| ]	1999	1999	1
Q1985 [CC \| ]	2000	2000	1
Q2014 [CC \| ]	2004	2004	1
Q2004 [CC \| ]	2008	2008	1
Q13366129 [CC \| ]	odd number	Numerus impar	1
Q10176 [CC \| ]	University of Lyon	Universitas Lugdunensis	1
Q25617391 [CC \| ]	No label in en!	Teuría assiumàtega di cungjuunt	1
Q25617388 [CC \| ]	No label in en!	Teuría naïve di cungjuunt	1
Q205921 [CC \| ]	Philosophiæ Naturalis Principia Mathematica	ഫിലോസോഫിയ നാച്ചുറാലി പ്രിൻസിപ്പിയ മാത്തമാറ്റിക്ക	1
Q25587765 [CC \| ]	No label in en!	റസലിന്റെ വിരോധാഭാസം	1
Q36574 [CC \| ]	1900s	1900-an	1
Q12687012 [CC \| ]	No label in en!	Glosari teori set	1
Q1949963 [CC \| ]	statistic	Statistik	1
Q7075 [CC \| ]	library	Bibliotheek (algemeen)	1
Q1228141 [CC \| ]	Dirk van Dalen	Dirk van Dalen	1
Q1368270 [CC \| ]	Crelle's Journal	Journal für die reine und angewandte Mathematik	1
Q176916 [CC \| ]	Springer Science+Business Media	Springer Science+Business Media	1
Q1519903 [CC \| ]	cantilever sign	Uithangbord	1
Q134237 [CC \| ]	square root	Vierkantswortel	1
Q467 [CC \| ]	woman	Vrouw	1
Q41796 [CC \| ]	sentence	Zin (taalkunde)	1
Q1800213 [CC \| ]	primary school	Barneskole	1
Q15882515 [CC \| ]	superset	Overmengde	1
Q20030498 [CC \| ]	Andrzej Rosłanowski	Andrzej Rosłanowski	1
Q1142215 [CC \| ]	ordinal arithmetic	Arytmetyka liczb porządkowych	1
Q721176 [CC \| ]	Bronisław Knaster	Bronisław Knaster	1
Q9195487 [CC \| ]	Colloquium Mathematicum	Colloquium Mathematicum	1
Q828399 [CC \| ]	Czesław Ryll-Nardzewski	Czesław Ryll-Nardzewski	1
Q5119413 [CC \| ]	Cichoń's diagram	Diagram Cichonia	1
Q1734160 [CC \| ]	diamond principle	Diament Jensena	1
Q176776 [CC \| ]	Donald A. Martin	Donald A. Martin	1
Q1254680 [CC \| ]	Edward Marczewski	Edward Marczewski	1
Q9252584 [CC \| ]	No label in en!	Elementarna teoria liczb	1
Q4041526 [CC \| ]	Internetowa encyklopedia PWN	Encyklopedia PWN (internetowa)	1
Q615699 [CC \| ]	online encyclopedia	Encyklopedia internetowa	1
Q9261448 [CC \| ]	No label in en!	Formalizm (matematyka)	1
Q81392 [CC \| ]	fractal	Fraktal	1
Q4352241 [CC \| ]	cardinal function	Funkcja kardynalna	1
Q332430 [CC \| ]	absolute geometry	Geometria absolutna	1
Q1332450 [CC \| ]	elliptic geometry	Geometria eliptyczna	1
Q9267097 [CC \| ]	inversive geometry	Geometria inwersyjna	1
Q513175 [CC \| ]	conformal geometry	Geometria konforemna	1
Q249148 [CC \| ]	synthetic geometry	Geometria syntetyczna	1
Q7100712 [CC \| ]	ordered geometry	Geometria uporządkowania	1
Q638755 [CC \| ]	descriptive geometry	Geometria wykreślna	1
Q1046291 [CC \| ]	topological group	Grupa topologiczna	1
Q455501 [CC \| ]	Helena Rasiowa	Helena Rasiowa	1
Q5935117 [CC \| ]	Kurepa tree	Hipoteza Kurepy	1
Q226072 [CC \| ]	Hugo Steinhaus	Hugo Steinhaus	1
Q505056 [CC \| ]	Jan Mycielski	Jan Mycielski (matematyk)	1
Q548062 [CC \| ]	Jerzy Łoś	Jerzy Łoś (logik)	1
Q3509316 [CC \| ]	No label in en!	Język (logika)	1
Q1430062 [CC \| ]	cryptology	Kryptologia	1
Q35014 [CC \| ]	1970s	Lata 70. XX wieku	1
Q34653 [CC \| ]	1990s	Lata 90. XX wieku	1
Q15727633 [CC \| ]	mathematical linguistics	Lingwistyka matematyczna	1
Q1260135 [CC \| ]	Lwów School of Mathematics	Lwowska szkoła matematyczna	1
Q7134013 [CC \| ]	paraconsistent mathematics	Matematyka parakonsystentna	1
Q4464 [CC \| ]	advanced mathematics	Matematyka wyższa	1
Q11779036 [CC \| ]	Michał Morayne	Michał Morayne	1
Q234018 [CC \| ]	Model	Model	1
Q193495 [CC \| ]	monograph	Monografia	1
Q550609 [CC \| ]	Rolf Schock Prizes	Nagroda Schocka	1
Q7991 [CC \| ]	natural science	Nauki przyrodnicze	1
Q34749 [CC \| ]	social science	Nauki społeczne	1
Q12015335 [CC \| ]	technical sciences	Nauki techniczne	1
Q9050585 [CC \| ]	nomography	Nomografia	1
Q140732 [CC \| ]	numerology	Numerologia	1
Q1259589 [CC \| ]	Otto M. Nikodym	Otton Nikodym	1
Q232932 [CC \| ]	open access	Otwarty dostęp	1
Q749043 [CC \| ]	proper forcing axiom	PFA (aksjomat)	1
Q273167 [CC \| ]	Hilbert's problems	Problemy Hilberta	1
Q591041 [CC \| ]	scientific publication	Publikacja naukowa	1
Q2068418 [CC \| ]	finite difference	Rachunek różnicowy	1
Q60977434 [CC \| ]	No label in en!	Rachunek wyrównawczy	1
Q1582429 [CC \| ]	Roman Sikorski	Roman Sikorski	1
Q249821 [CC \| ]	Routledge Encyclopedia of Philosophy	Routledge Encyclopedia of Philosophy	1
Q448592 [CC \| ]	Saharon Shelah	Saharon Szelach	1
Q504703 [CC \| ]	seminar	Seminarium (zajęcia)	1
Q234357 [CC \| ]	Stanisław Ulam	Stanisław Ulam	1
Q1097688 [CC \| ]	non-parametric statistics	Statystyka nieparametryczna	1
Q865811 [CC \| ]	distribution	Teoria dystrybucji	1
Q5498822 [CC \| ]	ergodic theory	Teoria ergodyczna	1
Q1376021 [CC \| ]	estimation theory	Teoria estymacji	1
Q847526 [CC \| ]	queueing theory	Teoria kolejek	1
Q1154848 [CC \| ]	potential theory	Teoria potencjału	1
Q2517976 [CC \| ]	sieve theory	Teoria sit	1
Q2026155 [CC \| ]	braid theory	Teoria warkoczy	1
Q1389897 [CC \| ]	W. Hugh Woodin	W. Hugh Woodin	1
Q297206 [CC \| ]	Wacław Sierpiński	Wacław Sierpiński	1
Q1340653 [CC \| ]	Warsaw School of Mathematics	Warszawska szkoła matematyczna	1
Q1930684 [CC \| ]	Witold Hurewicz	Witold Hurewicz	1
Q9379530 [CC \| ]	Faculty of Mathematics, Informatics and Mechanics, University of Warsaw	Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego	1
Q485312 [CC \| ]	analytic set	Zbiór analityczny	1
Q1201815 [CC \| ]	null set	Zbiór miary zero	1
Q50698 [CC \| ]	algebraic equation	Equassion algébrica	1
Q15085 [CC \| ]	Piedmontese	Lenga piemontèisa	1
Q199 [CC \| ]	1	اک	1
Q61748 [CC \| ]	Arthur Moritz Schoenflies	Arthur Moritz Schoenflies	1
Q131133 [CC \| ]	determinism	Determinismo	1
Q76641 [CC \| ]	Felix Klein	Felix Klein	1
Q1469236 [CC \| ]	potential infinity and actual infinity	Infinito atual e infinito potencial	1
Q515891 [CC \| ]	Gyula Kőnig	Julius König	1
Q296864 [CC \| ]	Kronecker	Kronecker	1
Q2011845 [CC \| ]	object-orientation	Orientação a objetos	1
Q205653 [CC \| ]	Orient	Oriente	1
Q347028 [CC \| ]	Paul Cohen	Paul Cohen	1
Q2110857 [CC \| ]	principle of bivalence	Princípio da bivalência	1
Q428148 [CC \| ]	regulation	Regulação	1
Q4245771 [CC \| ]	singularity theory	Teoria das singularidades	1
Q126389 [CC \| ]	Wilhelm Franz Meyer	Wilhelm Franz Meyer	1
Q178161 [CC \| ]	a priori and a posteriori	A priori și a posteriori	1
Q1080067 [CC \| ]	Borel algebra	Algebră boreliană	1
Q52927916 [CC \| ]	concavity	Concavitate	1
Q52927961 [CC \| ]	convexity	Convexitate	1
Q1932744 [CC \| ]	second derivative	Derivată de ordinul al doilea	1
Q216320 [CC \| ]	fluid dynamics	Dinamica fluidelor	1
Q66055 [CC \| ]	fraction	Fracție	1
Q31180140 [CC \| ]	No label in en!	Fracție ordinară	1
Q41217 [CC \| ]	mechanics	Mecanică	1
Q2810233 [CC \| ]	1851 in science	1851 год в науке	1
Q2810496 [CC \| ]	1873 in science	1873 год в науке	1
Q2810548 [CC \| ]	1877 in science	1877 год в науке	1
Q2745270 [CC \| ]	1878 in science	1878 год в науке	1
Q2745261 [CC \| ]	1879 in science	1879 год в науке	1
Q2422756 [CC \| ]	1880 in science	1880 год в науке	1
Q2810634 [CC \| ]	1883 in science	1883 год в науке	1
Q2745078 [CC \| ]	1895 in science	1895 год в науке	1
Q2810833 [CC \| ]	1897 in science	1897 год в науке	1
Q2374658 [CC \| ]	1901 in science	1901 год в науке	1
Q2386496 [CC \| ]	1903 in science	1903 год в науке	1
Q2381555 [CC \| ]	1908 in science	1908 год в науке	1
Q2370373 [CC \| ]	1922 in science	1922 год в науке	1
Q2364005 [CC \| ]	1925 in science	1925 год в науке	1
Q2366939 [CC \| ]	1940 in science	1940 год в науке	1
Q2378350 [CC \| ]	1963 in science	1963 год в науке	1
Q2467634 [CC \| ]	1970 in science	1970 год в науке	1
Q1695400 [CC \| ]	algebraic group	Алгебраическая группа	1
Q266237 [CC \| ]	algebraic curve	Алгебраическая кривая	1
Q648995 [CC \| ]	algebraic variety	Алгебраическое многообразие	1
Q16725860 [CC \| ]	א	Алеф (буква еврейского алфавита)	1
Q510675 [CC \| ]	Disquisitiones Arithmeticae	Арифметические исследования (Гаусс)	1
Q1673591 [CC \| ]	Izabella Bashmakova	Башмакова, Изабелла Григорьевна	1
Q174998 [CC \| ]	Ivar Otto Bendixson	Бендиксон, Ивар Отто	1
Q303363 [CC \| ]	Mengenlehreuhr	Берлинские часы	1
Q77523 [CC \| ]	Felix Bernstein	Бернштейн, Феликс	1
Q4106105 [CC \| ]	No label in en!	Векторное исчисление	1
Q216812 [CC \| ]	Vito Volterra	Вольтерра, Вито	1
Q1363919 [CC \| ]	second-countable space	Вторая аксиома счётности	1
Q118819 [CC \| ]	pitch	Высота звука	1
Q7091 [CC \| ]	Évariste Galois	Галуа, Эварист	1
Q65214 [CC \| ]	Carl Gustav Axel Harnack	Гарнак, Аксель	1
Q6722 [CC \| ]	Carl Friedrich Gauss	Гаусс, Карл Фридрих	1
Q123410745 [CC \| ]	geometric object	Геометрический объект	1
Q4139289 [CC \| ]	smooth infinitesimal analysis	Гладкий инфинитезимальный анализ	1
Q902019 [CC \| ]	symmetry group	Группы симметрии	1
Q58809 [CC \| ]	Adolf Hurwitz	Гурвиц, Адольф	1
Q113558 [CC \| ]	dynamic	Динамика (музыка)	1
Q29193 [CC \| ]	Johann Peter Gustav Lejeune Dirichlet	Дирихле, Петер Густав Лежён	1
Q77503 [CC \| ]	Paul du Bois-Reymond	Дюбуа-Реймон, Поль Давид Густав	1
Q17295 [CC \| ]	Euclidean space	Евклидово пространство	1
Q620823 [CC \| ]	Alexander Esenin-Volpin	Есенин-Вольпин, Александр Сергеевич	1
Q320357 [CC \| ]	closed set	Замкнутое множество	1
Q44649 [CC \| ]	ideal	Идеал (алгебра)	1
Q368988 [CC \| ]	idempotence	Идемпотентность	1
Q28134137 [CC \| ]	Foreign Languages Publishing House	Издательство иностранной литературы	1
Q3054889 [CC \| ]	measurable set	Измеримое множество	1
Q736753 [CC \| ]	quadratic form	Квадратичная форма	1
Q7269567 [CC \| ]	quaternionic analysis	Кватернионный анализ	1
Q68026154 [CC \| ]	residue class	Класс вычетов	1
Q5160246 [CC \| ]	conformal dimension	Конформное пространство	1
Q1367880 [CC \| ]	motorcade	Кортеж	1
Q41670 [CC \| ]	Latin alphabet	Латинский алфавит	1
Q65196 [CC \| ]	Yuri Manin	Манин, Юрий Иванович	1
Q62714578 [CC \| ]	Fedor Andreevich Medvedev	Медведев, Фёдор Андреевич	1
Q983977 [CC \| ]	Charles Méray	Мерэ, Шарль	1
Q1194053 [CC \| ]	metrizable space	Метризуемое пространство	1
Q180953 [CC \| ]	metric space	Метрическое пространство	1
Q2717062 [CC \| ]	tone	Музыкальный звук	1
Q68553 [CC \| ]	Eugen Netto	Нетто, Ойген	1
Q1477744 [CC \| ]	unordered pair	Неупорядоченная пара	1
Q1991405 [CC \| ]	nowhere dense set	Нигде не плотное множество	1
Q137685 [CC \| ]	inversion	Обращение (музыка)	1
Q1964995 [CC \| ]	set operation	Операции над множествами	1
Q178546 [CC \| ]	determinant	Определитель	1
Q85404 [CC \| ]	Yury Osipov	Осипов, Юрий Сергеевич (математик)	1
Q213363 [CC \| ]	open set	Открытое множество	1
Q2915190 [CC \| ]	Galileo's paradox	Парадокс Галилея	1
Q4365414 [CC \| ]	No label in en!	Плотность множества	1
Q858223 [CC \| ]	limit point	Предельная точка	1
Q1055807 [CC \| ]	group representation	Представление группы	1
Q4378866 [CC \| ]	No label in en!	Принцип двойственности (теория множеств)	1
Q845677 [CC \| ]	moduli space	Пространство модулей	1
Q83552 [CC \| ]	Alexander Prokhorov	Прохоров, Александр Михайлович	1
Q187846 [CC \| ]	Russian alphabet	Русский алфавит	1
Q1129622 [CC \| ]	self-reference	Самореференция	1
Q726415 [CC \| ]	Joseph Alfred Serret	Серре, Жозеф Альфред	1
Q724168 [CC \| ]	Petri net	Сеть Петри	1
Q11203 [CC \| ]	system of linear equations	Система линейных алгебраических уравнений	1
Q7168101 [CC \| ]	perfect set	Совершенное множество	1
Q3481047 [CC \| ]	ratio	Соотношение	1
Q1273671 [CC \| ]	Mikhail Suslin	Суслин, Михаил Яковлевич	1
Q125052756 [CC \| ]	axiom schema of unrestricted comprehension	Схема свёртывания	1
Q4454681 [CC \| ]	No label in en!	Тензорное исчисление	1
Q45986842 [CC \| ]	No label in en!	Теория абелевых групп	1
Q1855669 [CC \| ]	invariant theory	Теория инвариантов	1
Q113355041 [CC \| ]	topos theory	Теория топосов	1
Q1455249 [CC \| ]	topological vector space	Топологическое векторное пространство	1
Q815323 [CC \| ]	transposition	Транспозиция (музыка)	1
Q3560807 [CC \| ]	Russian Mathematical Surveys	Успехи математических наук	1
Q1403155 [CC \| ]	epsilon numbers	Числа эпсилон	1
Q77502 [CC \| ]	Karl Georg Christian von Staudt	Штаудт, Карл Георг Христиан	1
Q123514 [CC \| ]	Jakob Steiner	Штейнер, Якоб	1
Q116760 [CC \| ]	Vilgot Sjöman	Шёман, Вильгот	1
Q824282 [CC \| ]	elementary function	Элементарные функции	1
Q113936655 [CC \| ]	Elementary topos	Элементарный топос	1
Q5426803 [CC \| ]	ergodicity	Эргодичность	1
Q19706669 [CC \| ]	No label in en!	කුලක වාදයේ මූලික සංකල්ප	1
Q19706752 [CC \| ]	No label in en!	කුලකය (ගණිතය)	1
Q297884 [CC \| ]	Consistency	Consistency	1
Q116291241 [CC \| ]	continuum	Continuum (mathematics)	1
Q10302114 [CC \| ]	inference	Inference	1
Q923933 [CC \| ]	ordinal numeral	Ordinal number	1
Q19814042 [CC \| ]	Dokaz	Dokaz	1
Q190087 [CC \| ]	data type	Podatkovni tip	1
Q4115842 [CC \| ]	topological graph theory	Topološka teorija grafov	1
Q7246860 [CC \| ]	probabilistic number theory	Verjetnostna teorija števil	1
Q9043 [CC \| ]	Norwegian	Norveški jezik	1
Q25426212 [CC \| ]	No label in en!	Основе теорије скупова	1
Q150 [CC \| ]	French	Француски језик	1
Q205464 [CC \| ]	algebraic structure	Algebraisk struktur	1
Q5716778 [CC \| ]	Kimmo Eriksson	Kimmo Eriksson	1
Q7746 [CC \| ]	1871	1871	1
Q18585 [CC \| ]	1953	1953	1
Q56313053 [CC \| ]	additive combinatorics	Адитивна комбінаторика	1
Q3526722 [CC \| ]	additive number theory	Адитивна теорія чисел	1
Q1005603 [CC \| ]	algebraic combinatorics	Алгебрична комбінаторика	1
Q4724003 [CC \| ]	algebraic graph theory	Алгебрична теорія графів	1
Q13636890 [CC \| ]	algorithmics	Алгоритміка	1
Q4306188 [CC \| ]	arithmetic combinatorics	Арифметична комбінаторика	1
Q615599 [CC \| ]	Aristotelian logic	Арістотелева логіка	1
Q5535478 [CC \| ]	geometric combinatorics	Геометрична комбінаторика	1
Q61223 [CC \| ]	Hermann Schwarz	Герман Шварц	1
Q923592 [CC \| ]	experimental mathematics	Експериментальна математика	1
Q739245 [CC \| ]	Extremal graph theory	Екстремальна теорія графів	1
Q15938550 [CC \| ]	publication by electronic means	Електронне видання	1
Q1899 [CC \| ]	Kyiv	Київ	1
Q8348314 [CC \| ]	polyhedral combinatorics	Комбінаторика многогранників	1
Q1781447 [CC \| ]	computer configuration	Конфігурація комп'ютера	1
Q36036 [CC \| ]	Lviv	Львів	1
Q336787 [CC \| ]	enumerative combinatorics	Нумераційна комбінаторика	1
Q1971729 [CC \| ]	computational group theory	Обчислювальна теорія груп	1
Q12139612 [CC \| ]	list	Перелік	1
Q9510 [CC \| ]	reality	Реальність	1
Q2146489 [CC \| ]	retouching	Ретушування зображень	1
Q3180727 [CC \| ]	spectral graph theory	Спектральна теорія графів	1
Q12621536 [CC \| ]	judgment	Судження	1
Q1456029 [CC \| ]	Statement	Твердження	1
Q4455066 [CC \| ]	No label in en!	Теоретико-множинні рівняння	1
Q256108 [CC \| ]	topological combinatorics	Топологічна комбінаторика	1
Q1054772 [CC \| ]	data recovery	Khôi phục dữ liệu	1
Q30267 [CC \| ]	aspect-oriented programming	Lập trình hướng khía cạnh	1
Q275596 [CC \| ]	imperative programming	Lập trình mệnh lệnh	1
Q109430589 [CC \| ]	No label in en!	Lực lượng	1
Q378859 [CC \| ]	pattern recognition	Nhận dạng mẫu	1
Q189436 [CC \| ]	speech recognition	Nhận dạng tiếng nói	1
Q2493 [CC \| ]	data compression	Nén dữ liệu	1
Q24953206 [CC \| ]	No label in en!	Phân tích yêu cầu	1
Q163468 [CC \| ]	Prolog	Prolog	1
Q912188 [CC \| ]	absolute infinite	Vô hạn Tuyệt đối	1
Q173142 [CC \| ]	digital signal processing	Xử lý tín hiệu số	1
Q10841846 [CC \| ]	No label in en!	Định lý Cantor	1
Q11213 [CC \| ]	&	&	1
Q2714875 [CC \| ]	Shangdihjjjj	上帝	1
Q375520 [CC \| ]	Strict conditional	严格条件	1
Q5410500 [CC \| ]	faith	信仰	1
Q24885543 [CC \| ]	information and computer science	信息与计算科学	1
Q179742 [CC \| ]	prejudice	偏見	1
Q2384512 [CC \| ]	metatheorem	元定理	1
Q5535474 [CC \| ]	geometric analysis	几何分析	1
Q1466519 [CC \| ]	geometry of numbers	几何数论	1
Q11030584 [CC \| ]	Entscheidungsproblem	可判定性	1
Q818888 [CC \| ]	computability	可计算性	1
Q1411921 [CC \| ]	vagueness	含糊	1
Q11420330 [CC \| ]	No label in en!	图	1
Q131012 [CC \| ]	Occam's razor	奥卡姆剃刀	1
Q1307734 [CC \| ]	No label in en!	实直线	1
Q1165788 [CC \| ]	prudence	審慎	1
Q6564405 [CC \| ]	list of Boolean algebra topics	布尔代数主题列表	1
Q539750 [CC \| ]	formalism	形式主义	1
Q1343870 [CC \| ]	corollary	推论	1
Q2374463 [CC \| ]	data science	数据科学	1
Q7095059 [CC \| ]	ontology language	本体语言	1
Q11121312 [CC \| ]	No label in en!	模糊规则	1
Q7233294 [CC \| ]	positive set theory	正集合论	1
Q214746 [CC \| ]	biostatistics	生物統計學	1
Q1139519 [CC \| ]	arrow	箭头	1
Q1762403 [CC \| ]	structural analysis	结构分析	1
Q4548693 [CC \| ]	structural rule	结构规则	1
Q7604400 [CC \| ]	statistical learning theory	统计学习理论	1
Q870780 [CC \| ]	chatbot	聊天機器人	1
Q160039 [CC \| ]	econometrics	计量经济学	1
Q3874243 [CC \| ]	Sheffer stroke	谢费尔竖线	1
Q208042 [CC \| ]	regression analysis	迴歸分析	1
Q488383 [CC \| ]	object	Mi̍h-kiāⁿ	1
Q2625281 [CC \| ]	mutually exclusive events	互斥	1
Q833065 [CC \| ]	analytical mechanics	分析力學	1
Q9299950 [CC \| ]	proof by exhaustion	分類證明	1
Q184899 [CC \| ]	proof by contradiction	反證法	1
Q999259 [CC \| ]	ancient Greek philosophy	古希臘哲學	1
Q44528 [CC \| ]	Euclidean vector	向量	1
Q20014476 [CC \| ]	proof by contrapositive	否定證明	1
Q54980267 [CC \| ]	intransitivity	唔遞移關係	1
Q179289 [CC \| ]	causality	因果關係	1
Q185674 [CC \| ]	field	場 (物理)	1
Q1153584 [CC \| ]	monotone convergence theorem	增減數列	1
Q2035437 [CC \| ]	multivariable calculus	多元微積分	1
Q844937 [CC \| ]	multiple integral	多重積分	1
Q1332977 [CC \| ]	subsequence	子數列	1
Q11023 [CC \| ]	engineering	工程學	1
Q13098937 [CC \| ]	Cantor	康托爾	1
Q188524 [CC \| ]	tensor	張量	1
Q3650511 [CC \| ]	tensor calculus	張量微積分	1
Q816264 [CC \| ]	formal science	形式科學	1
Q962165 [CC \| ]	formal fallacy	形式謬論	1
Q6011160 [CC \| ]	circular reasoning	循環論證	1
Q28797 [CC \| ]	applied science	應用科學	1
Q380344 [CC \| ]	descriptive statistics	描述統計學	1
Q3349460 [CC \| ]	The Unreasonable Effectiveness of Mathematics in the Natural Sciences	數學喺自然科學上嘅超常效用	1
Q33540 [CC \| ]	limit of a function	極限 (函數)	1
Q200726 [CC \| ]	probability distribution	概率分佈	1
Q3044470 [CC \| ]	constructive proof	構造法	1
Q483024 [CC \| ]	rationalism	理性主義	1
Q3240280 [CC \| ]	direct proof	直接證明	1
Q9471 [CC \| ]	epistemology	知識論	1
Q1971461 [CC \| ]	social choice theory	社會選擇理論	1
Q11016 [CC \| ]	technology	科技	1
Q202843 [CC \| ]	linear programming	線性規劃	1
Q735 [CC \| ]	art	藝術	1
Q9165172 [CC \| ]	imaginary number	虛數	1
Q854457 [CC \| ]	complex system	複雜系統	1
Q214850 [CC \| ]	gauge theory	規範場論	1
Q217847 [CC \| ]	cauchy sequence	郝氏數列	1
Q54505 [CC \| ]	quantum field theory	量子場論	1
Q2122223 [CC \| ]	quantum group	量子羣	1
Q2684591 [CC \| ]	statement	陳述式 (邏輯)	1
Q1545585 [CC \| ]	stochastic differential equation	隨機微分方程	1
Q176623 [CC \| ]	random variable	隨機變數	1
Q769909 [CC \| ]	nonlinear programming	非線性規劃	1
Q176645 [CC \| ]	Markov chain	馬可夫鏈	1
Q697181 [CC \| ]	Riemann integral	黎曼積分	1
Q282228 [CC \| ]	Relativity	Адноснасьць	1
Q209577 [CC \| ]	Operation	Апэрацыя	1
Q6494721 [CC \| ]	No label in en!	Зьлічэньне	1
Q7757 [CC \| ]	1873	1873 йыл	1
Q7773 [CC \| ]	1877	1877 йыл	1
Q7776 [CC \| ]	1878	1878 йыл	1
Q7783 [CC \| ]	1879	1879 йыл	1
Q7816 [CC \| ]	1883	1883 йыл	1
Q18633 [CC \| ]	1940	1940 йыл	1
Q8229 [CC \| ]	Latin script	Латин алфавиты	1
Q5217764 [CC \| ]	National Encyclopedia of Uzbekistan	Oʻzbekiston milliy ensiklopediyasi	1
Q173853 [CC \| ]	quaternion	Quaternion	1
Q77827144 [CC \| ]	sheaf theory	Teoría de fexes	1
Q750432 [CC \| ]	differential	Дифференциал (математика)	1
Q177239 [CC \| ]	limit	Чикĕ (математика)	1
Q2510 [CC \| ]	April 1	1 Ebrill	1
Q2034 [CC \| ]	1900	1900	1
Q2089 [CC \| ]	1998	1998	1
Q2663 [CC \| ]	June 22	22 Mehefin	1
Q33456 [CC \| ]	exponentiation	Esbonydd	1
Q42884 [CC \| ]	Germans	Almanlar	1
Q127992 [CC \| ]	Association for Computing Machinery	Association for Computing Machinery	1
Q1121101 [CC \| ]	synchronicity	Eşzamanlılık	1
Q2914952 [CC \| ]	concurrency control	Eşzamanlılık denetimi	1
Q180160 [CC \| ]	metadata	Metadata	1
Q6051080 [CC \| ]	No label in en!	Sayılabilirlik	1
Q31190104 [CC \| ]	No label in en!	Sayısal algoritmalar	1
Q97208617 [CC \| ]	No label in en!	Set teorisi	1
Q6504956 [CC \| ]	data visualization	Veri görselleştirme	1
Q580427 [CC \| ]	database index	Veritabanı dizini	1
Q25552104 [CC \| ]	mesh networking	Örgü topolojisi	1
Q3632925 [CC \| ]	Bijaganita	ବୀଜଗଣିତ	1
Q48952 [CC \| ]	Persian Wikipedia	ویکیپیدیای فارسی	1
Q577 [CC \| ]	year	Mwaka	1
Q28192 [CC \| ]	Öömrang	Öömrang spriak	1
Q13039779 [CC \| ]	No label in en!	Hapësira vektoriale	1
Q13043747 [CC \| ]	No label in en!	Operatorët logjikë	1
Q332342 [CC \| ]	Trinity College	Trinity College (Kembriĝo)	1