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

Q370502 - mapping

Searching link targets on 24 Wikipedias...

Toggle existing labels

Item	Label [en]	Wikilabels	Link #
Q395 [CC \| ]	mathematics	Matematika \| Математика \| Matematikk \| Mathematics \| رياضيات \| गणित \| Matematica \| Wiskunde \| Toán học \| 数学 \| Mathématiques \| 數學 \| Matematik \| ماتماتیک \| Matemática \| ریاضیات \| Matematică	21
Q11348 [CC \| ]	function	Function (mathematics) \| دالة \| फलन \| Fall (stærðfræði) \| Funzione (matematica) \| 関数 (数学) \| Functie (wiskunde) \| Matematisk funksjon \| Hàm số \| 函数 \| Fonction (mathématiques) \| Функция \| Fonksiyon \| فانکشن (ماتماتیک) \| Função (matemática) \| Funkce (matematika) \| Fungsi (matematika) \| تابع \| Funcție \| Funksjon (matematikk)	20
Q42989 [CC \| ]	topology	Topologie \| Topology \| طوبولوجيا \| Topologia \| Топологија \| Tô pô \| 拓扑学 \| 拓撲學 \| Topoloji \| تۆپۆلۆژی \| Topologi \| توپولوژی	14
Q36161 [CC \| ]	set	Множество \| Set (mathematics) \| مجموعة (رياضيات) \| 集合 \| Verzameling (wiskunde) \| Množica \| Mängd \| Tập hợp (toán học) \| Ensemble \| Množina \| Himpunan (matematika) \| Mengde	13
Q170058 [CC \| ]	continuous function	Continuous function \| Funzione continua \| 連続写像 \| Continue functie (analyse) \| Hàm liên tục \| 连续函数 \| فانکشنی بەردەوام \| Spojité zobrazení \| Fungsi kontinu \| تابع پیوسته \| Funcție continuă	11
Q192439 [CC \| ]	domain of a function	Domain of a function \| منطلق دالة \| 定義域 \| Domein (wiskunde) \| Definitionsmängd \| Tập xác định \| 定义域 \| Ensemble de définition \| Domínio (matemática) \| دامنه تابع \| Domeniu de definiție	11
Q182003 [CC \| ]	injection	Injective function \| Funzione iniettiva \| 単射 \| Injectie (wiskunde) \| Injektivna preslikava \| Đơn ánh \| 单射 \| Injection (mathématiques) \| Инекция \| تابع یک‌به‌یک \| Funcție injectivă	11
Q12482 [CC \| ]	set theory	Set theory \| نظرية المجموعات \| Teoria degli insiemi \| Verzamelingenleer \| Lý thuyết tập hợp \| 集合论 \| Théorie des ensembles \| 集合論 \| Teorie množin \| Teori himpunan \| Teoria mulțimilor	11
Q217413 [CC \| ]	category theory	Category theory \| نظرية الفئة \| Teoria delle categorie \| 圏論 \| Théorie des catégories \| 範疇論 \| Kategori teorisi \| Teori kategori \| نظریه رسته‌ها \| Teoria categoriilor	10
Q82571 [CC \| ]	linear algebra	Linear algebra \| Algebra lineare \| Линеарна алгебра \| 线性代数 \| Algèbre linéaire \| 線性代數 \| Lineer cebir \| Aljabar linear \| جبر خطی \| Algebră liniară	10
Q207643 [CC \| ]	linear map	Linear map \| تحويل خطي \| Trasformazione lineare \| 線型写像 \| Biến đổi tuyến tính \| Lineární zobrazení \| Peta linear \| نگاشت خطی \| Transformare liniară	9
Q180907 [CC \| ]	bijection	Bijection \| 全単射 \| Bijectie \| Bijektivna preslikava \| Song ánh \| Биекция \| Bijekce	8
Q199006 [CC \| ]	codomain	Codomain \| 終域 \| Codomein \| 到达域 \| Ensemble d'arrivée \| بواری بەرامبەر \| Contradomínio \| Codomeniu	8
Q131030 [CC \| ]	operator	Operator (mathematics) \| 作用素 (関数解析学) \| Operator (matematika) \| Operator \| Toán tử \| Opérateur (mathématiques) \| Operátor \| Operator (matematică)	8
Q229102 [CC \| ]	surjective function	Surjective function \| 全射 \| Surjectie \| Surjektivna preslikava \| Toàn ánh \| 满射 \| Surjection \| Сюрекция	8
Q379825 [CC \| ]	element	Element (mathematics) \| 元 (数学) \| Елемент (математика) \| Element (wiskunde) \| Element (mängdteori) \| Phần tử (toán học) \| Elemen (matematika)	7
Q131476 [CC \| ]	graph theory	Graph theory \| نظرية البيان \| Teoria dei grafi \| 圖論 \| Teori graf \| نظریه گراف \| Teoria grafurilor	7
Q860623 [CC \| ]	image	Image (mathematics) \| Immagine (matematica) \| 像 (数学) \| Beeld (wiskunde) \| Ảnh (toán học) \| 像 (數學) \| Image (mathématiques)	7
Q1948412 [CC \| ]	morphism	Morphism \| مشاكلة (رياضيات) \| Morfismo \| 射 (圏論) \| 态射 \| Morphisme \| Morfism	7
Q12916 [CC \| ]	real number	実数 \| Realno število \| Số thực \| Nombre réel \| ژمارەی ڕاستەقینە \| عدد حقیقی \| Număr real	7
Q11567 [CC \| ]	complex number	複素数 \| Kompleksno število \| Komplexa tal \| ژمارەی ئاوێتە \| Bilangan kompleks \| عدد مختلط \| Număr complex	7
Q217594 [CC \| ]	class	Class (set theory) \| クラス (集合論) \| Lớp (lý thuyết tập hợp) \| Classe (mathématiques) \| Třída (matematika) \| Kelas (teori himpunan)	6
Q226183 [CC \| ]	empty set	Empty set \| مجموعة خالية \| 空集合 \| Tập hợp rỗng \| Ensemble vide \| Himpunan kosong	6
Q1166618 [CC \| ]	mathematical logic	Mathematical logic \| منطق رياضي \| Logica matematica \| Logic toán \| 數學邏輯 \| Logika matematika	6
Q125977 [CC \| ]	vector space	Vector space \| فضاء متجهي \| Векторски простор \| Vektorový prostor \| Ruang vektor \| Spațiu vectorial	6
Q1860 [CC \| ]	English	اللغة الإنجليزية \| 英語 \| Tiếng Anh \| زمانی ئینگلیزی \| Língua inglesa \| زبان انگلیسی	6
Q620946 [CC \| ]	Library of Congress Control Number	Library of Congress Control Number \| LCCN \| Kongre Kütüphanesi Kontrol Numarası \| Número de controle da Biblioteca do Congresso	6
Q130901 [CC \| ]	binary relation	Relazione binaria \| 二項関係 \| Tweeplaatsige relatie \| Quan hệ hai ngôi \| Relation binaire \| Binární relace	6
Q179692 [CC \| ]	axiom of choice	Axiom of choice \| بديهية الاختيار \| 選択公理 \| Tiên đề chọn \| Axiome du choix	5
Q203066 [CC \| ]	relation	Finitary relation \| Relacija \| Quan hệ (toán học) \| Relação (matemática) \| Relace (matematika)	5
Q215111 [CC \| ]	homomorphism	Homomorphism \| تشاكل (جبر) \| Omomorfismo \| 同态 \| Homomorfisme	5
Q8078 [CC \| ]	logic	Logic \| 邏輯 \| Mantık \| Logika \| Logică	5
Q3884033 [CC \| ]	operation	Operation (mathematics) \| 演算 (数学) \| Operatie (wiskunde) \| Matematična operacija \| Operasi (matematika)	5
Q1756942 [CC \| ]	partial function	Partial function \| Funzione parziale \| 部分写像 \| Partiële functie \| Fonction partielle	5
Q33057 [CC \| ]	International Standard Book Number	International Standard Book Number \| ISBN \| Uluslararası Standart Kitap Numarası \| شماره استاندارد بین‌المللی کتاب	5
Q17736 [CC \| ]	axiom	Axiom \| مسلمة (فلسفة) \| Tiên đề \| Aksioma	4
Q164307 [CC \| ]	binary operation	Binary operation \| عملية ثنائية \| Dvočlena operacija \| Phép toán hai ngôi	4
Q173183 [CC \| ]	boolean algebra	Boolean algebra \| جبر بول \| Đại số Boole \| Aljabar Boolean	4
Q173740 [CC \| ]	Cartesian product	Cartesian product \| 直積集合 \| Cartesisch product \| Produit cartésien	4
Q8087 [CC \| ]	geometry	Geometry \| 幾何學 \| Geometri \| Geometrie	4
Q874429 [CC \| ]	group theory	Group theory \| 羣論 \| Teori grup \| Teoria grupurilor	4
Q7754 [CC \| ]	mathematical analysis	Mathematical analysis \| 解析学 \| 數學分析 \| Analisis matematis	4
Q200694 [CC \| ]	propositional calculus	Propositional calculus \| حساب القضايا \| Mệnh đề toán học \| Kalkulus proposisional	4
Q179976 [CC \| ]	recursion	Recursion \| عودية \| Đệ quy \| Rekursi	4
Q371948 [CC \| ]	Serge Lang	Serge Lang \| سرج لانگ	4
Q107342 [CC \| ]	syllogism	Syllogism \| قياس (منطق) \| Tam đoạn luận \| Silogisme	4
Q65943 [CC \| ]	theorem	Theorem \| مبرهنة \| Định lý toán học \| Teorema	4
Q1056428 [CC \| ]	type theory	Type theory \| نظرية النمط \| Lý thuyết hình thái \| 類型論	4
Q190763 [CC \| ]	Venn diagram	Venn diagram \| مخطط فن \| Sơ đồ Venn \| Diagram Venn	4
Q177646 [CC \| ]	subset	مجموعة جزئية \| Deelverzameling \| Delmängd \| Tập hợp con	4
Q1806121 [CC \| ]	range of a function	値域 \| Bereik (wiskunde) \| Värdemängd \| 值域	4
Q244761 [CC \| ]	function composition	写像の合成 \| Functiecompositie \| Hàm hợp \| Composition de fonctions	4
Q321119 [CC \| ]	identity function	恒等写像 \| Identieke afbeelding \| Application identité \| Identita (matematika)	4
Q118455746 [CC \| ]	authority control	Auktoritetsdata \| Kiểm soát tính nhất quán \| Otorite kontrolü \| Autoritní kontrola	4
Q3968 [CC \| ]	algebra	Algebra \| 代數學	3
Q4049983 [CC \| ]	cardinality	Cardinality \| 濃度 (数学) \| Mohutnost	3
Q66707394 [CC \| ]	countable set	Countable set \| مجموعة قابلة للعد \| Tập hợp đếm được	3
Q638328 [CC \| ]	dynamical system	Dynamical system \| Sistema dinamico \| Sistem dinamic	3
Q130998 [CC \| ]	equivalence relation	Equivalence relation \| 同値関係 \| Relation d'équivalence	3
Q272404 [CC \| ]	finite set	Finite set \| مجموعة منتهية \| Tập hợp hữu hạn	3
Q4055684 [CC \| ]	first-order logic	First-order logic \| منطق الرتبة الأولى \| Logic bậc nhất	3
Q192161 [CC \| ]	formal language	Formal language \| Ngôn ngữ hình thức \| Bahasa formal	3
Q833585 [CC \| ]	foundations of mathematics	Foundations of mathematics \| أسس الرياضيات \| 數學基礎	3
Q202906 [CC \| ]	homeomorphism	Homeomorphism \| Omeomorfismo \| Phép đồng phôi	3
Q408386 [CC \| ]	inference	Inference \| استدلال (بحث علمي) \| Suy luận	3
Q205140 [CC \| ]	infinite set	Infinite set \| مجموعة غير منتهية \| Tập hợp vô hạn	3
Q374182 [CC \| ]	logical consequence	Logical consequence \| استتباع منطقي \| Konsekuensi logis	3
Q4006 [CC \| ]	map	Map \| Peta \| Hartă	3
Q467606 [CC \| ]	model theory	Model theory \| نظرية النموذج \| Teori model	3
Q205170 [CC \| ]	power set	Power set \| Tập lũy thừa \| Potenční množina	3
Q852732 [CC \| ]	proof theory	Proof theory \| نظرية البرهان \| Lý thuyết chứng minh	3
Q108163 [CC \| ]	proposition	Proposition \| قضية (فلسفة) \| Proposisi	3
Q12202238 [CC \| ]	transformation	Transformation (function) \| 変換 (数学) \| Transformasjon i matematikk	3
Q219079 [CC \| ]	truth table	Truth table \| جدول الحقيقة \| Tabel kebenaran	3
Q1128796 [CC \| ]	uncountable set	Uncountable set \| مجموعة غير قابلة للعد \| Tập hợp không đếm được	3
Q50701 [CC \| ]	variable	Variable (mathematics) \| 変数 (数学) \| Variable (mathématiques)	3
Q191849 [CC \| ]	Zermelo–Fraenkel set theory	Zermelo–Fraenkel set theory \| نظرية المجموعات حسب تسيرميلو-فرانكل \| Lý thuyết tập hợp Zermelo–Fraenkel	3
Q191290 [CC \| ]	ordered pair	زوج مرتب \| Cặp được sắp \| Couple (mathématiques)	3
Q188915 [CC \| ]	National Library of Israel	Biblioteca nazionale di Israele \| İsrail Ulusal Kütüphanesi \| Národní knihovna Izraele	3
Q141488 [CC \| ]	graph	Grafo \| گراف (ریاضی) \| Graf	3
Q547823 [CC \| ]	planar graph	Grafo planare \| گراف مسطح \| Graf planar	3
Q182598 [CC \| ]	graph of a function	グラフ (関数) \| Grafiek (wiskunde) \| Graphe d'une fonction	3
Q190529 [CC \| ]	Nicolas Bourbaki	Nicolas Bourbaki \| ニコラ・ブルバキ	3
Q133250 [CC \| ]	sequence	列 (数学) \| Suite (mathématiques) \| Posloupnost	3
Q1308999 [CC \| ]	restriction	制限 (数学) \| Restrictie (wiskunde) \| Restriction (mathématiques)	3
Q740207 [CC \| ]	isometry	Phép đẳng cự \| Isometri \| Izometrie	3
Q1133733 [CC \| ]	National Library of Latvia	Thư viện quốc gia Latvia \| Letonya Millî Kütüphanesi \| Lotyšská národní knihovna	3
Q159943 [CC \| ]	abstract algebra	抽象代數 \| Aljabar abstrak \| Algebră abstractă	3
Q186619 [CC \| ]	argument	Argument \| حجة (منطق)	2
Q942353 [CC \| ]	Boolean function	Boolean function \| دالة بول	2
Q2518298 [CC \| ]	category of sets	Category of sets \| 集合の圏	2
Q309157 [CC \| ]	Church-Turing thesis	Church–Turing thesis \| أطروحة تشرش-تورينغ	2
Q818930 [CC \| ]	computability theory	Computability theory \| Lý thuyết tính toán	2
Q676835 [CC \| ]	recursively enumerable set	Computably enumerable set \| مجموعة مرقمة بشكل تراجعي	2
Q1575634 [CC \| ]	concrete category	Concrete category \| Kategori konkret	2
Q2704791 [CC \| ]	enumeration	Enumeration \| تعداد	2
Q162886 [CC \| ]	Euclidean geometry	Euclidean geometry \| 歐幾里得幾何	2
Q2762418 [CC \| ]	formal proof	Formal proof \| برهان فلسفي	2
Q649732 [CC \| ]	formal system	Formal system \| نظام شكلي	2
Q5508846 [CC \| ]	functional predicate	Functional predicate \| Predicato funzionale	2
Q1055807 [CC \| ]	group representation	Group representation \| Reprezentare de grup	2
Q131222 [CC \| ]	information theory	Information theory \| 資訊理論	2
Q189112 [CC \| ]	isomorphism	Isomorphism \| Phép đẳng cấu	2
Q15854269 [CC \| ]	linear function	Linear function \| Funcție liniară	2
Q211790 [CC \| ]	logical connective	Logical connective \| رابطة منطقية	2
Q220433 [CC \| ]	logical equivalence	Logical equivalence \| Équivalence logique	2
Q7881229 [CC \| ]	logical implication	Material conditional \| 論理包含	2
Q246672 [CC \| ]	mathematical object	Mathematical object \| 數學物體	2
Q3490369 [CC \| ]	Morse–Kelley set theory	Morse–Kelley set theory \| نظرية المجموعات حسب مورس-كيلي	2
Q903783 [CC \| ]	naive set theory	Naive set theory \| نظرية المجموعات المبسطة	2
Q381060 [CC \| ]	partition of a set	Partition of a set \| 集合の分割	2
Q370085 [CC \| ]	Paul Halmos	Paul Halmos	2
Q180536 [CC \| ]	philosophy of mathematics	Philosophy of mathematics \| 數學哲學	2
Q1144319 [CC \| ]	predicate	Predicate (mathematical logic) \| محمول (منطق)	2
Q592911 [CC \| ]	quantifier	Quantifier (logic) \| Lượng từ (logic)	2
Q1548746 [CC \| ]	second-order logic	Second-order logic \| منطق الرتبة الثانية	2
Q1851710 [CC \| ]	structure	Structure (mathematical logic) \| Struktur (logika matematika)	2
Q185521 [CC \| ]	truth value	Truth value \| قيمة صواب	2
Q2502253 [CC \| ]	uniqueness quantification	Uniqueness quantification \| Unicité (mathématiques)	2
Q1047000 [CC \| ]	validity	Validity (logic) \| صحة (المنطق)	2
Q188597 [CC \| ]	linear function	دالة خطية \| Lineaire functie	2
Q336 [CC \| ]	science	विज्ञान \| 科學	2
Q190109 [CC \| ]	field	Campo (matematica) \| Lichaam (Ned) / Veld (Be)	2
Q622679 [CC \| ]	Lie group	Gruppo di Lie \| گروه لی	2
Q165474 [CC \| ]	commutative property	交換法則 \| Commutativiteit	2
Q1663694 [CC \| ]	inclusion map	包含写像 \| Injection canonique	2
Q629085 [CC \| ]	multivalued function	多価関数 \| Fonction multivaluée	2
Q856215 [CC \| ]	indexed family	族 (数学) \| Famille (mathématiques)	2
Q215084 [CC \| ]	analytic function	解析関数 \| Hàm giải tích	2
Q180953 [CC \| ]	metric space	距離空間 \| Không gian mêtric	2
Q191884 [CC \| ]	inverse function	逆写像 \| Bijection réciproque	2
Q16632222 [CC \| ]	No label in en!	配置集合 \| Exponentiation ensembliste	2
Q11563 [CC \| ]	number	Getal (wiskunde) \| 數	2
Q213363 [CC \| ]	open set	Open verzameling \| Tập mở	2
Q746368 [CC \| ]	Great Norwegian Encyclopedia	Store norske leksikon	2
Q579600 [CC \| ]	functional	Funktional \| Funkcionál	2
Q80091 [CC \| ]	integral	Integral \| Tích phân	2
Q320357 [CC \| ]	closed set	Sluten mängd \| Tập đóng	2
Q455 [CC \| ]	Encyclopædia Britannica	Encyclopædia Britannica	2
Q11352 [CC \| ]	angle	Góc \| Úhel	2
Q44337 [CC \| ]	matrix	Ma trận (toán học) \| Matice	2
Q188524 [CC \| ]	tensor	Tenxơ \| Tenzor	2
Q850275 [CC \| ]	conformal map	Ánh xạ bảo giác \| Konformní zobrazení	2
Q33521 [CC \| ]	applied mathematics	Mathématiques appliquées \| 應用數學	2
Q17951 [CC \| ]	jargon	Jargão \| Jargon	2
Q2748142 [CC \| ]	abstract logic	Abstract logic	1
Q341810 [CC \| ]	Ackermann set theory	Ackermann set theory	1
Q908627 [CC \| ]	aleph number	Aleph number	1
Q1005222 [CC \| ]	algebraic logic	Algebraic logic	1
Q837518 [CC \| ]	alphabet	Alphabet (formal languages)	1
Q4781618 [CC \| ]	apply	Apply	1
Q1315869 [CC \| ]	arity	Arity	1
Q2328174 [CC \| ]	atomic formula	Atomic formula	1
Q4345785 [CC \| ]	atomic sentence	Atomic sentence	1
Q214526 [CC \| ]	automata theory	Automata theory	1
Q431667 [CC \| ]	automated theorem proving	Automated theorem proving	1
Q792536 [CC \| ]	axiom schema	Axiom schema	1
Q792542 [CC \| ]	axiomatic system	Axiomatic system	1
Q737851 [CC \| ]	Banach–Tarski paradox	Banach–Tarski paradox	1
Q4907197 [CC \| ]	Bijection, injection and surjection	Bijection, injection and surjection	1
Q4943350 [CC \| ]	Boolean algebras canonically defined	Boolean algebras canonically defined	1
Q729471 [CC \| ]	Cantor's diagonal argument	Cantor's diagonal argument	1
Q379078 [CC \| ]	Cantor's paradox	Cantor's paradox	1
Q474881 [CC \| ]	Cantor's theorem	Cantor's theorem	1
Q15830473 [CC \| ]	Morley's categoricity theorem	Categorical theory	1
Q719395 [CC \| ]	category	Category (mathematics)	1
Q1089708 [CC \| ]	Church encoding	Church encoding	1
Q236975 [CC \| ]	classical logic	Classical logic	1
Q1149458 [CC \| ]	compactness theorem	Compactness theorem	1
Q242767 [CC \| ]	complement	Complement (set theory)	1
Q3508260 [CC \| ]	complete theory	Complete theory	1
Q1148456 [CC \| ]	computable function	Computable function	1
Q877945 [CC \| ]	recursive set	Computable set	1
Q864213 [CC \| ]	Conservative extension	Conservative extension	1
Q1319773 [CC \| ]	consistency	Consistency	1
Q2777107 [CC \| ]	constructible universe	Constructible universe	1
Q2584477 [CC \| ]	Construction of the real numbers	Construction of the real numbers	1
Q5164501 [CC \| ]	constructive set theory	Constructive set theory	1
Q208416 [CC \| ]	continuum hypothesis	Continuum hypothesis	1
Q430001 [CC \| ]	decidability	Decidability (logic)	1
Q3262192 [CC \| ]	decision problem	Decision problem	1
Q3322159 [CC \| ]	deductive system	Deductive system	1
Q15805655 [CC \| ]	diagram	Diagram (mathematical logic)	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
Q172891 [CC \| ]	Elements	Euclid's Elements	1
Q773483 [CC \| ]	existential quantification	Existential quantification	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
Q5450405 [CC \| ]	finite model theory	Finite model theory	1
Q55611653 [CC \| ]	Finite-valued logic	Finite-valued logic	1
Q111181235 [CC \| ]	Fixed-point logic	Fixed-point logic	1
Q1003136 [CC \| ]	forcing	Forcing (mathematics)	1
Q373045 [CC \| ]	formal grammar	Formal grammar	1
Q3005945 [CC \| ]	formation rule	Formation rule	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
Q1055058 [CC \| ]	fuzzy set	Fuzzy set	1
Q5532389 [CC \| ]	general set theory	General set theory	1
Q1465090 [CC \| ]	Grothendieck universe	Grothendieck universe	1
Q431411 [CC \| ]	ground expression	Ground expression	1
Q110765095 [CC \| ]	ground formula	Ground formula	1
Q1451046 [CC \| ]	Gödel numbering	Gödel numbering	1
Q902052 [CC \| ]	Gödel's completeness theorem	Gödel's completeness theorem	1
Q200787 [CC \| ]	Gödel's incompleteness theorems	Gödel's incompleteness theorems	1
Q622849 [CC \| ]	halting problem	Halting problem	1
Q5737878 [CC \| ]	Hereditary set	Hereditary set	1
Q1644136 [CC \| ]	higher-order logic	Higher-order logic	1
Q910361 [CC \| ]	Hilbert system	Hilbert system	1
Q840243 [CC \| ]	Hilbert's axioms	Hilbert's axioms	1
Q468620 [CC \| ]	history of logic	History of logic	1
Q1331373 [CC \| ]	inaccessible cardinal	Inaccessible cardinal	1
Q2705017 [CC \| ]	independence	Independence (mathematical logic)	1
Q55614449 [CC \| ]	Infinite-valued logic	Infinite-valued logic	1
Q6033616 [CC \| ]	inhabited set	Inhabited set	1
Q523607 [CC \| ]	interpretation	Interpretation (logic)	1
Q17101792 [CC \| ]	interpretation	Interpretation (model theory)	1
Q185837 [CC \| ]	intersection	Intersection (set theory)	1
Q1456811 [CC \| ]	Kolmogorov complexity	Kolmogorov complexity	1
Q3526833 [CC \| ]	Kripke–Platek set theory	Kripke–Platek set theory	1
Q242028 [CC \| ]	lambda calculus	Lambda calculus	1
Q1548262 [CC \| ]	large cardinal	Large cardinal	1
Q207505 [CC \| ]	lemma	Lemma (mathematics)	1
Q2379128 [CC \| ]	Lindström's theorem	Lindström's theorem	1
Q91034125 [CC \| ]	linear polynomial	Linear polynomial	1
Q6626686 [CC \| ]	list of logic systems	List of Hilbert systems	1
Q3632199 [CC \| ]	list of axioms	List of axioms	1
Q1828834 [CC \| ]	list of chaotic maps	List of chaotic maps	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
Q6641390 [CC \| ]	list of statements undecidable in ZFC	List of statements independent of ZFC	1
Q204355 [CC \| ]	logical biconditional	Logical biconditional	1
Q191081 [CC \| ]	logical conjunction	Logical conjunction	1
Q1782658 [CC \| ]	logical constant	Logical constant	1
Q1651704 [CC \| ]	logical disjunction	Logical disjunction	1
Q3308477 [CC \| ]	logic equality	Logical equality	1
Q3311695 [CC \| ]	logical truth	Logical truth	1
Q845691 [CC \| ]	logicism	Logicism	1
Q1068283 [CC \| ]	Löwenheim–Skolem theorem	Löwenheim–Skolem theorem	1
Q185502 [CC \| ]	many-valued logic	Many-valued logic	1
Q227502 [CC \| ]	Map	Map (disambiguation)	1
Q3845212 [CC \| ]	mapping class group	Mapping class group	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
Q6897882 [CC \| ]	Monadic predicate calculus	Monadic predicate calculus	1
Q26899137 [CC \| ]	monadic second-order logic	Monadic second-order logic	1
Q628036 [CC \| ]	NP	NP (complexity)	1
Q1572108 [CC \| ]	natural deduction	Natural deduction	1
Q190558 [CC \| ]	logical negation	Negation	1
Q649337 [CC \| ]	New Foundations	New Foundations	1
Q233858 [CC \| ]	non-Euclidean geometry	Non-Euclidean geometry	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
Q191780 [CC \| ]	ordinal number	Ordinal number	1
Q846354 [CC \| ]	P	P (complexity)	1
Q746242 [CC \| ]	P versus NP problem	P versus NP problem	1
Q4344872 [CC \| ]	paradoxes of set theory	Paradoxes of set theory	1
Q842755 [CC \| ]	Peano axioms	Peano axioms	1
Q1412905 [CC \| ]	permutation group	Permutation group	1
Q35148 [CC \| ]	predicate logic	Predicate logic	1
Q10531432 [CC \| ]	predicate variable	Predicate variable	1
Q7243580 [CC \| ]	primitive recursive arithmetic	Primitive recursive arithmetic	1
Q1570472 [CC \| ]	primitive recursive function	Primitive recursive function	1
Q163335 [CC \| ]	Principia Mathematica	Principia Mathematica	1
Q17163436 [CC \| ]	proof of impossibility	Proof of impossibility	1
Q1372900 [CC \| ]	propositional formula	Propositional formula	1
Q3492863 [CC \| ]	propositional variable	Propositional variable	1
Q7268912 [CC \| ]	quantifier rank	Quantifier rank	1
Q123739394 [CC \| ]	Relation	Relation (mathematics)	1
Q2005236 [CC \| ]	reverse mathematics	Reverse mathematics	1
Q928884 [CC \| ]	Robinson arithmetic	Robinson arithmetic	1
Q1068763 [CC \| ]	rule of inference	Rule of inference	1
Q33401 [CC \| ]	Russell's paradox	Russell's paradox	1
Q1350299 [CC \| ]	satisfiability	Satisfiability	1
Q1473532 [CC \| ]	Saturated model	Saturated model	1
Q1033910 [CC \| ]	Cantor–Bernstein–Schroeder theorem	Schröder–Bernstein theorem	1
Q7442973 [CC \| ]	second-order arithmetic	Second-order arithmetic	1
Q7448234 [CC \| ]	Self-verifying theories	Self-verifying theories	1
Q7449101 [CC \| ]	semantic theory of truth	Semantic theory of truth	1
Q963731 [CC \| ]	semantics of logic	Semantics of logic	1
Q2509500 [CC \| ]	sentence	Sentence (mathematical logic)	1
Q1771121 [CC \| ]	sequent calculus	Sequent calculus	1
Q741810 [CC \| ]	signature	Signature (logic)	1
Q1165112 [CC \| ]	singleton	Singleton (mathematics)	1
Q7536198 [CC \| ]	Skolem arithmetic	Skolem arithmetic	1
Q693083 [CC \| ]	soundness	Soundness	1
Q18392333 [CC \| ]	Spectrum of a sentence	Spectrum of a sentence	1
Q7575321 [CC \| ]	Spectrum of a theory	Spectrum of a theory	1
Q2749902 [CC \| ]	square of opposition	Square of opposition	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
Q2372244 [CC \| ]	symbol	Symbol (formal)	1
Q2395230 [CC \| ]	syntax	Syntax (logic)	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
Q209555 [CC \| ]	tautology	Tautology (logic)	1
Q1318370 [CC \| ]	term	Term (logic)	1
Q237125 [CC \| ]	term logic	Term logic	1
Q10859910 [CC \| ]	theory	Theory (mathematical logic)	1
Q185443 [CC \| ]	three-valued logic	Three-valued logic	1
Q7806105 [CC \| ]	timeline of mathematical logic	Timeline of mathematical logic	1
Q428143 [CC \| ]	Tom M. Apostol	Tom M. Apostol	1
Q17157202 [CC \| ]	transfer principle	Transfer principle	1
Q671944 [CC \| ]	transitive set	Transitive set	1
Q7847560 [CC \| ]	True arithmetic	True arithmetic	1
Q7848347 [CC \| ]	Truth predicate	Truth predicate	1
Q163310 [CC \| ]	Turing machine	Turing machine	1
Q834884 [CC \| ]	type	Type (model theory)	1
Q1535225 [CC \| ]	ultraproduct	Ultraproduct	1
Q3502995 [CC \| ]	undecidable problem	Undecidable problem	1
Q7885264 [CC \| ]	Uninterpreted function	Uninterpreted function	1
Q185359 [CC \| ]	union	Union (set theory)	1
Q126695 [CC \| ]	universal quantification	Universal quantification	1
Q1378301 [CC \| ]	universal set	Universal set	1
Q597663 [CC \| ]	universe	Universe (mathematics)	1
Q1896657 [CC \| ]	urelement	Urelement	1
Q77887 [CC \| ]	von Neumann universe	Von Neumann universe	1
Q278770 [CC \| ]	Von Neumann–Bernays–Gödel set theory	Von Neumann–Bernays–Gödel set theory	1
Q655328 [CC \| ]	well-formed formula	Well-formed formula	1
Q42106 [CC \| ]	synonym	ترادف	1
Q12202385 [CC \| ]	No label in en!	تركيب (منطق)	1
Q3142865 [CC \| ]	logical reasoning	تفكير منطقي	1
Q16119569 [CC \| ]	No label in en!	قضية (توضيح)	1
Q12455628 [CC \| ]	No label in en!	समानार्थी	1
Q339199 [CC \| ]	Poincaré map	Mappa di Poincaré	1
Q65241326 [CC \| ]	model	Modello (logica matematica)	1
Q519967 [CC \| ]	projection	Proiezione (geometria)	1
Q31121203 [CC \| ]	synonymy	Sinonimia	1
Q6139783 [CC \| ]	zero to the power of zero	0の0乗	1
Q1130535 [CC \| ]	PlanetMath	PlanetMath	1
Q371730 [CC \| ]	well-defined	Well-defined	1
Q1347208 [CC \| ]	epimorphism	エピ射	1
Q1144925 [CC \| ]	currying	カリー化	1
Q11302260 [CC \| ]	Kotobank	コトバンク	1
Q188 [CC \| ]	German	ドイツ語	1
Q208237 [CC \| ]	monoid	モノイド	1
Q753035 [CC \| ]	Riemann surface	リーマン面	1
Q524607 [CC \| ]	general linear group	一般線型群	1
Q179899 [CC \| ]	topological space	位相空間	1
Q4391173 [CC \| ]	exponential object	冪対象	1
Q192487 [CC \| ]	discriminant	判別式	1
Q185813 [CC \| ]	identity element	単位元	1
Q194404 [CC \| ]	monotonic function	単調写像	1
Q3552958 [CC \| ]	differentiable manifold	可微分多様体	1
Q621542 [CC \| ]	commutative diagram	可換図式	1
Q1532424 [CC \| ]	quotient mapping	商写像	1
Q3966112 [CC \| ]	quotient set	商集合	1
Q43260 [CC \| ]	polynomial	多項式	1
Q1322856 [CC \| ]	correspondence	対応 (数学)	1
Q849512 [CC \| ]	symmetric group	対称群	1
Q7249440 [CC \| ]	projection	射影 (集合論)	1
Q242188 [CC \| ]	invertible matrix	正則行列	1
Q161172 [CC \| ]	ring	環 (数学)	1
Q126955 [CC \| ]	level set	等位集合	1
Q842346 [CC \| ]	equality	等式	1
Q120812 [CC \| ]	absolute value	絶対値	1
Q83478 [CC \| ]	group	群 (数学)	1
Q1442189 [CC \| ]	natural transformation	自然変換	1
Q178546 [CC \| ]	determinant	行列式	1
Q840810 [CC \| ]	transfinite induction	超限帰納法	1
Q864475 [CC \| ]	functor	関手	1
Q842620 [CC \| ]	disjoint union	非交和	1
Q7994926 [CC \| ]	ordered set	順序集合	1
Q44528 [CC \| ]	Euclidean vector	Вектор	1
Q1289248 [CC \| ]	scalar	Скалар	1
Q541576 [CC \| ]	Anglosphere	Angelsaksische landen	1
Q188248 [CC \| ]	constant	Constant (eigenschap)	1
Q201322 [CC \| ]	infix	Infix	1
Q7017933 [CC \| ]	inverse	Inverse	1
Q102047 [CC \| ]	suffix	Suffix	1
Q600590 [CC \| ]	n-tuple	Tupel	1
Q1226939 [CC \| ]	division	Deljenje	1
Q657596 [CC \| ]	unary operation	Enočlena operacija	1
Q40276 [CC \| ]	multiplication	Množenje	1
Q609507 [CC \| ]	hypernym	Nadpomenka	1
Q40754 [CC \| ]	subtraction	Odštevanje	1
Q32043 [CC \| ]	addition	Seštevanje	1
Q29175 [CC \| ]	derivative	Derivata	1
Q185148 [CC \| ]	interval	Intervall (matematik)	1
Q176623 [CC \| ]	random variable	Biến ngẫu nhiên	1
Q1364910 [CC \| ]	intersection (geometry)	Giao điểm	1
Q207476 [CC \| ]	holomorphic function	Hàm chỉnh hình	1
Q131251 [CC \| ]	tangent	Tiếp tuyến	1
Q106018359 [CC \| ]	Tập	Tập	1
Q235028 [CC \| ]	Set	Tập hợp	1
Q161973 [CC \| ]	curve	Đường cong	1
Q719112 [CC \| ]	MathWorld	MathWorld	1
Q168550 [CC \| ]	Eric W. Weisstein	埃里克·韦斯坦因	1
Q1367937 [CC \| ]	Wolfram Research	沃尔夫勒姆研究公司	1
Q296131 [CC \| ]	Predicate	谓词	1
Q10533491 [CC \| ]	non-empty set	非空集合	1
Q91486569 [CC \| ]	element of a fiber	Antécédent (mathématiques)	1
Q294834 [CC \| ]	Application	Application	1
Q2858936 [CC \| ]	approximation of a function	Approximation de fonction	1
Q740424 [CC \| ]	axiom of extensionality	Axiome d'extensionnalité	1
Q1077811 [CC \| ]	axiom of power set	Axiome de l'ensemble des parties	1
Q920450 [CC \| ]	axiom of infinity	Axiome de l'infini	1
Q920796 [CC \| ]	axiom of pairing	Axiome de la paire	1
Q1987722 [CC \| ]	axiom of union	Axiome de la réunion	1
Q287097 [CC \| ]	Bartel Leendert van der Waerden	Bartel Leendert van der Waerden	1
Q109017818 [CC \| ]	No label in en!	Canonique (mathématiques)	1
Q1080373 [CC \| ]	Christian Houzel	Christian Houzel	1
Q736064 [CC \| ]	Eliakim Hastings Moore	Eliakim Hastings Moore	1
Q27905 [CC \| ]	suit	Enseigne (carte à jouer)	1
Q21199 [CC \| ]	natural number	Entier naturel	1
Q3075154 [CC \| ]	function	Fonction (mathématiques élémentaires)	1
Q3075242 [CC \| ]	reciprocal function	Fonction inverse	1
Q206033 [CC \| ]	Google Books	Google Livres	1
Q60028 [CC \| ]	Gottlob Frege	Gottlob Frege	1
Q382520 [CC \| ]	affine geometry	Géométrie affine	1
Q3148876 [CC \| ]	image of a set	Image directe	1
Q935 [CC \| ]	Isaac Newton	Isaac Newton	1
Q1384603 [CC \| ]	Jacques Bouveresse	Jacques Bouveresse	1
Q227897 [CC \| ]	Johann Bernoulli	Jean Bernoulli	1
Q1685587 [CC \| ]	Jean Itard	Jean Itard (historien)	1
Q1684974 [CC \| ]	Jean-Louis Krivine	Jean-Louis Krivine	1
Q7604 [CC \| ]	Leonhard Euler	Leonhard Euler	1
Q2377858 [CC \| ]	Lucien Chambadal	Lucien Chambadal	1
Q3284266 [CC \| ]	elementary mathematics	Mathématiques élémentaires	1
Q109041912 [CC \| ]	first bisector	Première bissectrice	1
Q3412533 [CC \| ]	No label in en!	Qu'est-ce qu'une fonction ?	1
Q134237 [CC \| ]	square root	Racine carrée	1
Q930720 [CC \| ]	Roger Godement	Roger Godement	1
Q780487 [CC \| ]	axiom schema of specification	Schéma d'axiomes de compréhension	1
Q1361825 [CC \| ]	axiom schema of replacement	Schéma d'axiomes de remplacement	1
Q206925 [CC \| ]	power series	Série entière	1
Q3174497 [CC \| ]	dynamical systems theory	Théorie des systèmes dynamiques	1
Q2694495 [CC \| ]	existence theorem	Théorème d'existence	1
Q216812 [CC \| ]	Vito Volterra	Vito Volterra	1
Q470503 [CC \| ]	Walter Rudin	Walter Rudin	1
Q6927 [CC \| ]	20th century	XXe siècle	1
Q3588113 [CC \| ]	Elements of Mathematics	Éléments de mathématique	1
Q50698 [CC \| ]	algebraic equation	Équation polynomiale	1
Q350877 [CC \| ]	curve-sketching	Étude de fonction	1
Q727659 [CC \| ]	commutative algebra	交換代數	1
Q180969 [CC \| ]	algebraic geometry	代數幾何	1
Q212803 [CC \| ]	algebraic topology	代數拓撲	1
Q613048 [CC \| ]	algebraic number theory	代數數論	1
Q92552 [CC \| ]	Galois theory	伽華理論	1
Q9299950 [CC \| ]	proof by exhaustion	分類證明	1
Q44455 [CC \| ]	game theory	博弈論	1
Q184899 [CC \| ]	proof by contradiction	反證法	1
Q999259 [CC \| ]	ancient Greek philosophy	古希臘哲學	1
Q579978 [CC \| ]	homological algebra	同調代數	1
Q20014476 [CC \| ]	proof by contrapositive	否定證明	1
Q5891 [CC \| ]	philosophy	哲學	1
Q211294 [CC \| ]	elementary algebra	基本代數	1
Q903820 [CC \| ]	field theory	場論	1
Q1197190 [CC \| ]	multilinear algebra	多重線性代數	1
Q854531 [CC \| ]	real analysis	實分析	1
Q24175351 [CC \| ]	order theory	序理論	1
Q816264 [CC \| ]	formal science	形式科學	1
Q188444 [CC \| ]	differential geometry	微分幾何	1
Q11214 [CC \| ]	differential equation	微分方程	1
Q149972 [CC \| ]	calculus	微積分	1
Q6501221 [CC \| ]	control theory	控制理論	1
Q11216 [CC \| ]	numerical analysis	數值分析	1
Q2248521 [CC \| ]	mathematical beauty	數學之美	1
Q185264 [CC \| ]	history of mathematics	數學史	1
Q178377 [CC \| ]	mathematical induction	數學歸納法	1
Q180159 [CC \| ]	list of mathematical symbols	數學符號	1
Q11538 [CC \| ]	mathematical proof	數學證明	1
Q2556886 [CC \| ]	mathematical chemistry	數理化學	1
Q1908389 [CC \| ]	mathematical psychology	數理心理學	1
Q156495 [CC \| ]	mathematical physics	數理物理學	1
Q751611 [CC \| ]	mathematical biology	數理生物學	1
Q4284723 [CC \| ]	mathematical sociology	數理社會學	1
Q747534 [CC \| ]	mathematical economics	數理經濟學	1
Q335632 [CC \| ]	mathematical finance	數理金融學	1
Q12479 [CC \| ]	number theory	數論	1
Q141495 [CC \| ]	mathematical optimization	最佳化	1
Q5862903 [CC \| ]	probability theory	概率論	1
Q3044470 [CC \| ]	constructive proof	構造法	1
Q193544 [CC \| ]	music theory	樂理	1
Q177571 [CC \| ]	decision theory	決策論	1
Q1636734 [CC \| ]	universal algebra	泛代數	1
Q190549 [CC \| ]	functional analysis	泛函分析	1
Q192276 [CC \| ]	measure	測度	1
Q483024 [CC \| ]	rationalism	理性主義	1
Q2878974 [CC \| ]	theoretical computer science	理論電腦科學	1
Q3240280 [CC \| ]	direct proof	直接證明	1
Q11016 [CC \| ]	technology	科技	1
Q11205 [CC \| ]	arithmetic	算術	1
Q2167061 [CC \| ]	systems science	系統科學	1
Q837863 [CC \| ]	pure mathematics	純粹數學	1
Q76592 [CC \| ]	combinatorics	組合數學	1
Q12483 [CC \| ]	statistics	統計學	1
Q735 [CC \| ]	art	藝術	1
Q193756 [CC \| ]	complex analysis	複分析	1
Q134787 [CC \| ]	analytic geometry	解析幾何	1
Q10843274 [CC \| ]	analytic number theory	解析數論	1
Q876215 [CC \| ]	harmonic analysis	諧波分析	1
Q49008 [CC \| ]	prime number	質數	1
Q1122491 [CC \| ]	computational mathematics	運算數學	1
Q844718 [CC \| ]	theory of computation	運算理論	1
Q194292 [CC \| ]	operations research	運籌學	1
Q906377 [CC \| ]	discrete geometry	離散幾何	1
Q121416 [CC \| ]	discrete mathematics	離散數學	1
Q2670846 [CC \| ]	computer algebra	電腦代數	1
Q21198 [CC \| ]	computer science	電腦科學	1
Q306536 [CC \| ]	Illustrated	Изображение (пояснение)	1
Q328 [CC \| ]	English Wikipedia	ویکیپیدیای ئینگلیزی	1
Q650741 [CC \| ]	division ring	Těleso (algebra)	1
Q12060486 [CC \| ]	No label in en!	Třídové zobrazení	1
Q185478 [CC \| ]	countably infinite set	Himpunan terhitung	1
Q254631 [CC \| ]	Peta	Peta (disambiguasi)	1
Q5597085 [CC \| ]	graph embedding	برازش گراف	1
Q3616 [CC \| ]	Tehran	تهران	1
Q324478 [CC \| ]	Academy of Persian Language and Literature	فرهنگستان زبان و ادب فارسی	1
Q1003009 [CC \| ]	formal logic	Logică formală	1
Q17285 [CC \| ]	plane	Plan (geometrie)	1
Q179080 [CC \| ]	predicate	Predicat	1
Q40056 [CC \| ]	computer program	Program (informatică)	1
Q5482740 [CC \| ]	programmer	Programator	1
Q8083174 [CC \| ]	structure	Structură	1