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

Q66707394 - No label in !

Searching link targets on 40 Wikipedias...

Toggle existing labels

Item	Label []	Wikilabels	Link #
Q36161 [CC \| ]	No label in !	Conjunto \| Množina \| קבוצה (מתמטיקה) \| Set (mathematics) \| 집합 \| 集合 (数学) \| Conjunt \| Zbiór \| Tập hợp (toán học) \| Verzameling (wiskunde) \| مجموعة (رياضيات) \| Множество \| সেট \| Mængde \| Aro (matematiko) \| Multzo \| مجموعه (ریاضیات) \| Joukko \| समुच्चय (गणित) \| Mengi \| Insemma \| Set \| Mengd \| Mengde \| Mulțime \| Skup \| Mängd \| Բազմություն \| Ensemble \| Conxunto	32
Q21199 [CC \| ]	No label in !	Natural number \| Número natural \| Natürliche Zahl \| 자연수 \| 自然数 \| 自然數 \| Nombre natural \| Liczby naturalne \| Số tự nhiên \| จำนวนธรรมชาติ \| Natuurlijk getal \| عدد طبيعي \| Естествено число \| স্বাভাবিক সংখ্যা \| Přirozené číslo \| Natura nombro \| Zenbaki arrunt \| عدد طبیعی \| प्राकृतिक संख्या \| Nombor asli \| Naturleg tal \| Naturlig tall \| Număr natural \| Prirodzené číslo \| Naturliga tal \| Natūralusis skaičius \| Entier naturel	29
Q4049983 [CC \| ]	No label in !	Kardinalitet \| Cardinality \| Cardinalità \| עוצמה (מתמטיקה) \| Mächtigkeit (Mathematik) \| 집합의 크기 \| 势 (数学) \| 基數 \| Cardinalidade \| Moc zbioru \| Lực lượng (tập hợp) \| ภาวะเชิงการนับ \| Кардиналност \| Mohutnost \| Povo de aro \| Kardinalitate \| کاردینالیتی \| Mahtavuus \| गणनांक \| Kardinalnost \| Mohutnosť (množina) \| Բազմության հզորություն \| Cardinalité (mathématiques)	28
Q395 [CC \| ]	No label in !	Matematika \| Mathematics \| Matemáticas \| Matematikk \| 數學 \| Matemàtiques \| Matematica \| Matemática \| Toán học \| คณิตศาสตร์ \| Wiskunde \| رياضيات \| Математика \| গণিত \| Matematiko \| ریاضیات \| Matematiikka \| गणित \| Stærðfræði \| Matematik \| Մաթեմատիկա \| Mathématiques	27
Q272404 [CC \| ]	No label in !	Finite set \| Conjunto finito \| Konečná množina \| קבוצה סופית \| Endliche Menge \| 유한 집합 \| 有限集合 \| Insieme finito \| Zbiór skończony \| Tập hợp hữu hạn \| เซตจำกัด \| Eindige verzameling \| مجموعة منتهية \| Крайно множество \| Finia aro \| مجموعه متناهی \| परिमित समुच्चय \| Mulțime finită \| Konačni i beskonačni skupovi \| Ensemble fini	23
Q76420 [CC \| ]	No label in !	Georg Cantor \| גאורג קנטור \| 格奥尔格·康托尔 \| 格奧爾格·康托爾 \| غيورغ كانتور \| گئورگ کانتور \| Georg Ferdinand Cantor \| Գեորգ Կանտոր	22
Q180907 [CC \| ]	No label in !	Bijection \| פונקציה חד-חד-ערכית ועל \| 전단사 함수 \| 双射 \| Función biyectiva \| Corrispondenza biunivoca \| Função bijectiva \| Funkcja wzajemnie jednoznaczna \| Song ánh \| ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง \| Bijectie \| تقابل (دالة) \| Биекция \| Bijekce \| Bijektiv \| Bijekzio \| تناظر دوسویه \| Bijektio \| Bijektívne zobrazenie \| Փոխմիարժեք համապատասխանություն \| Bijekcija	22
Q177646 [CC \| ]	No label in !	Subset \| Subconjunto \| Podmnožina \| Teilmenge \| 부분집합 \| 子集 \| Podzbiór \| Tập hợp con \| เซตย่อย \| مجموعة جزئية \| উপসেট \| Subaro \| Azpimultzo \| زیرمجموعه \| Osajoukko \| उपसमुच्चय \| Hlutmengi \| Delmängd \| Ենթաբազմություն	22
Q12482 [CC \| ]	No label in !	Set theory \| תורת הקבוצות \| Mengenlehre \| 집합론 \| 集合论 \| 集合論 \| Teoria de conjunts \| Teoria degli insiemi \| Teoria dos conjuntos \| Teoria mnogości \| Lý thuyết tập hợp \| نظرية المجموعات \| Teorie množin \| نظریه مجموعه‌ها \| Joukko-oppi \| Teoria mulțimilor \| Teória množín \| Mängdteori \| Aibių teorija \| Théorie des ensembles	21
Q12916 [CC \| ]	No label in !	Real number \| Número real \| 실수 \| 实数 \| Nombre real \| Liczby rzeczywiste \| Số thực \| Reëel getal \| عدد حقيقي \| Reálné číslo \| Reelle tal \| Zenbaki erreal \| عدد حقیقی \| Reaaliluku \| Reelt tall \| Reella tal \| Realusis skaičius \| Nombre réel	20
Q1244890 [CC \| ]	No label in !	Número racional \| מספר רציונלי \| Rational number \| 유리수 \| 有理数 \| Số hữu tỉ \| Rationaal getal \| عدد كسري \| Racionální číslo \| Rationale tal \| Zenbaki arrazional \| Rationaaliluku \| Ræðar tölur \| Rasjonalt tall \| Racionálne číslo \| Rationella tal \| Racionalusis skaičius \| Nombre rationnel	19
Q1128796 [CC \| ]	No label in !	Uncountable set \| 不可數集 \| קבוצה שאינה בת מנייה \| Conjunto no numerable \| Conjunto não enumerável \| Zbiór nieprzeliczalny \| Tập hợp không đếm được \| Overaftelbare verzameling \| مجموعة غير قابلة للعد \| Nespočetná množina \| Nekalkulebla aro \| مجموعه ناشمارا \| Ylinumeroituva joukko \| Mulțime nenumărabilă \| Nespočítateľná množina \| Ensemble infini non dénombrable	18
Q729471 [CC \| ]	No label in !	Cantor's diagonal argument \| האלכסון של קנטור \| Cantors zweites Diagonalargument \| 대각선 논법 \| 對角論證法 \| Argumento de la diagonal de Cantor \| Argomento diagonale di Cantor \| Argumento de diagonalização de Cantor \| Metoda przekątniowa \| Lập luận đường chéo của Cantor \| Diagonaalbewijs van Cantor \| Cantorova diagonální metoda \| Diagonala argumento de Cantor \| استدلال قطری کانتور \| Cantorova diagonálna metóda \| Argument de la diagonale de Cantor	17
Q173740 [CC \| ]	No label in !	Produto cartesiano \| מכפלה קרטזית \| Cartesian product \| Kartesisches Produkt \| 곱집합 \| 笛卡儿积 \| Producto cartesiano \| Prodotto cartesiano \| Iloczyn kartezjański \| Tích Descartes \| Cartesisch product \| Kartézský součin \| Kartezia produto \| ضرب دکارتی \| Karteesinen tulo \| Karteziánsky súčin	17
Q12503 [CC \| ]	No label in !	Celé číslo \| Integer \| Ganze Zahl \| 정수 \| 整数 \| Número entero \| Liczby całkowite \| Số nguyên \| Geheel getal \| عدد صحيح \| Entjero \| Zenbaki oso \| Kokonaisluku \| Sveikasis skaičius \| Entier relatif \| Número enteiro	17
Q185359 [CC \| ]	No label in !	איחוד (מתמטיקה) \| Union (set theory) \| Vereinigungsmenge \| 합집합 \| 并集 \| Unión de conjuntos \| União (matemática) \| Suma zbiorów \| Phép hợp \| Sjednocení \| Kunaĵo \| اجتماع (نظریه مجموعه‌ها) \| Yhdiste (matematiikka) \| Zjednotenie (matematika) \| Union (mathématiques)	15
Q168817 [CC \| ]	No label in !	מספר אלגברי \| Algebraic number \| Algebraische Zahl \| 代數數 \| Nombre algebraic \| Número algebraico \| Số đại số \| عدد جبري \| Algebraické číslo \| Algebra nombro \| Zenbaki aljebraiko \| Algebrallinen luku \| Algebrinis skaičius \| Nombre algébrique \| Número alxébrico	15
Q182003 [CC \| ]	No label in !	פונקציה חד-חד-ערכית \| Injective function \| 단사 함수 \| 单射 \| Función inyectiva \| Funzione iniettiva \| ฟังก์ชันหนึ่งต่อหนึ่ง \| Injectie (wiskunde) \| دالة متباينة \| Инекция \| Injektiv \| تابع یک‌به‌یک \| Injektio \| एकैकी फलन \| Injection (mathématiques)	15
Q205140 [CC \| ]	No label in !	Conjunto infinito \| Nekonečná množina \| קבוצה אינסופית \| Infinite set \| 무한 집합 \| 无限集合 \| Insieme infinito \| Tập hợp vô hạn \| مجموعة غير منتهية \| Nefinia aro \| مجموعه نامتناهی \| Mulțime infinită \| Ensemble infini	15
Q163875 [CC \| ]	No label in !	Número cardinal \| Cardinal number \| Kardinalzahl (Mathematik) \| 기수 (수학) \| 基数 (数学) \| Nombre cardinal \| Số đếm \| عدد أصلي \| Kardinální číslo \| Zenbaki kardinal \| عدد اصلی \| Număr cardinal \| Kardinálne číslo \| Kardinaltal	15
Q191780 [CC \| ]	No label in !	Nombre ordinal \| Número ordinal \| מספר סודר \| Ordinal number \| 순서수 \| 序数 \| Número ordinal (teoría de conjuntos) \| Liczby porządkowe \| عدد ترتيبي \| Ordinální číslo \| Zenbaki ordinal \| عدد ترتیبی	14
Q179692 [CC \| ]	No label in !	אקסיומת הבחירה \| Axiom of choice \| 선택 공리 \| 选择公理 \| Axioma de l'elecció \| Axioma de elección \| Axioma da escolha \| Tiên đề chọn \| بديهية الاختيار \| Axiom výběru \| Aksiomo de elekto \| اصل موضوع انتخاب \| Axiome du choix	13
Q208416 [CC \| ]	No label in !	Hypotéza kontinua \| השערת הרצף \| Continuum hypothesis \| 연속체 가설 \| 连续统假设 \| Hipótesis del continuo \| Ipotesi del continuo \| Hipótese do continuum \| Hipoteza continuum \| فرضیه پیوستار \| Kontinuumhypotesen \| Hypothèse du continu	13
Q205170 [CC \| ]	No label in !	קבוצת החזקה \| Power set \| 멱집합 \| 冪集 \| Conjunto potencia \| Conjunto de partes \| Zbiór potęgowy \| Tập lũy thừa \| Potenční množina \| Aro de ĉiuj subaroj \| مجموعه توانی \| Potenčná množina \| Potensmängd	13
Q474881 [CC \| ]	No label in !	Teorema de Cantor \| Cantor's theorem \| 칸토어의 정리 \| 康托尔定理 \| Twierdzenie Cantora \| Định lý đường chéo Cantor \| Cantorova věta \| قضیه کانتور \| Théorème de Cantor	12
Q379825 [CC \| ]	No label in !	元素 (數學) \| Element (mathematics) \| 원소 (수학) \| Elemento (matemática) \| Phần tử (toán học) \| Element (wiskunde) \| Prvek množiny \| عنصر (ریاضیات) \| Alkio (joukko-oppi) \| Prvok množiny \| Element (mängdteori)	12
Q229102 [CC \| ]	No label in !	פונקציה על \| Surjective function \| 전사 함수 \| 满射 \| Función sobreyectiva \| Funzione suriettiva \| ฟังก์ชันทั่วถึง \| Surjectie \| Сюрекция \| Surĵeto \| Surjection	11
Q226183 [CC \| ]	No label in !	הקבוצה הריקה \| Empty set \| 공집합 \| 空集 \| Conjunto vazio \| Tập hợp rỗng \| مجموعة خالية \| Prázdná množina \| مجموعه تهی \| Prázdna množina	10
Q242767 [CC \| ]	No label in !	משלים (מתמטיקה) \| Complement (set theory) \| 여집합 \| 补集 \| Complementar \| Phần bù (lý thuyết tập hợp) \| Doplněk množiny \| متمم (نظریه مجموعه‌ها) \| Doplnok (množiny) \| Complémentaire (théorie des ensembles)	10
Q33401 [CC \| ]	No label in !	הפרדוקס של ראסל \| Russell's paradox \| 러셀의 역설 \| 罗素悖论 \| Paradoxo de Russell \| Nghịch lý Russell \| Russellův paradox \| پارادوکس راسل \| Russellov paradox	9
Q1147242 [CC \| ]	No label in !	הפרש סימטרי \| Symmetric difference \| 대칭차 \| 对称差 \| Diferença simétrica \| Hiệu đối xứng \| Symetrická diference \| تفاضل متقارن \| Symetrická diferencia	9
Q185837 [CC \| ]	No label in !	חיתוך (מתמטיקה) \| Intersection (set theory) \| 교집합 \| 交集 \| Interseção \| Phép giao \| Průnik \| اشتراک (نظریه مجموعه‌ها) \| Prienik (matematika)	9
Q133250 [CC \| ]	No label in !	סדרה (מתמטיקה) \| Sequence \| Successione (matematica) \| Talfølge \| Vico \| Runa \| Niz \| Suite (mathématiques) \| Sucesión (matemáticas)	9
Q903783 [CC \| ]	No label in !	תורת הקבוצות הנאיבית \| Naive set theory \| 소박한 집합론 \| 朴素集合论 \| Teoria ingênua dos conjuntos \| Lý thuyết tập hợp ngây thơ \| نظرية المجموعات المبسطة \| Naivní teorie množin \| نظریه طبیعی مجموعه‌ها	9
Q41390 [CC \| ]	No label in !	Kurt Gödel \| 库尔特·哥德尔 \| کورت گودل	9
Q1166618 [CC \| ]	No label in !	Mathematical logic \| Lógica matemática \| Logica matematica \| คณิตตรรกศาสตร์ \| منطق رياضي \| Matematika logiko \| منطق ریاضی \| गणितीय तर्कशास्त्र \| Logique mathématique	9
Q76556 [CC \| ]	No label in !	Richard Dedekind \| 理查德·戴德金 \| ریچارد ددکیند	9
Q173091 [CC \| ]	No label in !	Transcendental number \| 超越數 \| Nombre transcendent \| Número trascendente \| Số siêu việt \| عدد متسام \| Transcenda nombro \| Zenbaki transzendente \| Nombre transcendant	9
Q173300 [CC \| ]	No label in !	De Morgan's laws \| 드 모르간의 법칙 \| 德摩根定律 \| Teoremas de De Morgan \| Luật De Morgan \| De Morganovy zákony \| قوانین دمورگان \| De Morganove zákony	8
Q828646 [CC \| ]	No label in !	Hilbert's paradox of the Grand Hotel \| 希尔伯特旅馆悖论 \| Hotel infinit \| El hotel infinito de Hilbert \| Hotel de Hilbert \| Paradoks Hilberta \| مفارقة فندق هيلبرت \| Paradoss del Grand Hotel de Hilbert	8
Q191290 [CC \| ]	No label in !	Par ordenado \| زوج مرتب \| Ordered pair \| 순서쌍 \| 有序对 \| Cặp được sắp	8
Q216809 [CC \| ]	No label in !	Paul Cohen \| 保罗·寇恩 \| Paul Cohen (matemático) \| پل کوهن (ریاضیدان) \| Paul Cohen (matematik)	8
Q190763 [CC \| ]	No label in !	Venn diagram \| 文氏图 \| Diagrama de Venn \| Sơ đồ Venn \| مخطط فن \| Vennův diagram \| نمودار ون \| Vennov diagram	8
Q33057 [CC \| ]	No label in !	ISBN \| International Standard Book Number \| شماره استاندارد بین‌المللی کتاب \| Nombor Buku Piawai Antarabangsa	8
Q1361825 [CC \| ]	No label in !	אקסיומת ההחלפה \| Axiom schema of replacement \| 替代公理 \| Axioma da substituição \| Schéma nahrazení \| اصول موضوع جایگزینی \| Schéma d'axiomes de remplacement	7
Q920450 [CC \| ]	No label in !	אקסיומת הקבוצה האינסופית \| Axiom of infinity \| 무한 공리 \| 无穷公理 \| Axioma do infinito \| اصل موضوع بی‌نهایت \| Axiome de l'infini	7
Q908627 [CC \| ]	No label in !	Aleph number \| Aleph-Funktion \| 알레프 수 \| Álef (cardinales) \| Skala alefów \| Alef-nombro \| Aleph (nombre)	7
Q33760 [CC \| ]	No label in !	Bertrand Russell \| 伯特兰·罗素 \| برتراند راسل	7
Q217594 [CC \| ]	No label in !	Class (set theory) \| 모임 (집합론) \| 类 (数学) \| Classe (teoria dos conjuntos) \| Lớp (lý thuyết tập hợp) \| Třída (matematika) \| کلاس (نظریه مجموعه‌ها)	7
Q57248 [CC \| ]	No label in !	Ernst Zermelo \| 恩斯特·策梅洛 \| ارنست تسرملو	7
Q1003136 [CC \| ]	No label in !	Forsing \| Forcing (mathematics) \| 강제법 \| 力迫 \| Forçamento \| Forcing	7
Q1055058 [CC \| ]	No label in !	Fuzzy set \| 模糊集 \| Conjunto difuso \| Tập mờ \| Fuzzy množina \| مجموعه‌های فازی \| Neostrá množina	7
Q607728 [CC \| ]	No label in !	Irrational number \| 무리수 \| 無理數 \| Số vô tỉ \| عدد غير كسري \| Zenbaki irrazional \| Óræðar tölur	7
Q178377 [CC \| ]	No label in !	Mathematical induction \| Inducción matemática \| Matematika indukto \| Indukzio matematiko \| Matemaattinen induktio \| Matematická indukcia \| Raisonnement par récurrence	7
Q49008 [CC \| ]	No label in !	Prime number \| Primzahl \| Número primo \| Liczby pierwsze \| Primo \| Pirminis skaičius \| Nombre premier	7
Q191849 [CC \| ]	No label in !	Zermelo–Fraenkel set theory \| 체르멜로-프렝켈 집합론 \| 策梅洛-弗兰克尔集合论 \| Axiomas de Zermelo-Fraenkel \| Lý thuyết tập hợp Zermelo–Fraenkel \| نظرية المجموعات حسب تسيرميلو-فرانكل \| Zermelova–Fraenkelova teorie množin	7
Q1445491 [CC \| ]	No label in !	אלף אפס \| Aleph-null \| Àlef zero \| Aleph null \| Alef-noll \| Aleph-zéro	6
Q1077811 [CC \| ]	No label in !	אקסיומת קבוצת החזקה \| Axiom of power set \| 멱집합 공리 \| 幂集公理 \| Axioma da potência \| اصل موضوع مجموعه توانی	6
Q659746 [CC \| ]	No label in !	סדר טוב \| Well-order \| 정렬 순서 \| Relação bem-ordenada \| Bona ordo \| Bon ordre	6
Q22952648 [CC \| ]	No label in !	עוצמת הרצף \| Cardinalità del continuo \| Continuum (teoria mnogości) \| Kardinalo de kontinuumo \| Cardinalità del continov \| Puissance du continu	6
Q11348 [CC \| ]	No label in !	פונקציה \| Function (mathematics) \| 함수 \| Função (matemática) \| دالة \| Fonction (mathématiques)	6
Q61043 [CC \| ]	No label in !	Abraham Fraenkel \| 亚伯拉罕·弗兰克尔 \| Adolf Abraham Halevi Fraenkel \| آبراهام فرنکل \| Adolf Fraenkel \| Abraham Adolf Fraenkel	6
Q17736 [CC \| ]	No label in !	Axiom \| 公理 \| Aksjomat \| Tiên đề \| مسلمة (فلسفة) \| Axióma	6
Q17455 [CC \| ]	No label in !	John von Neumann \| جان فون نویمان	6
Q1548262 [CC \| ]	No label in !	Large cardinal \| 큰 기수 \| 大基数 \| Propriedade de grande cardinal \| Duże liczby kardynalne \| Velké kardinály	6
Q11563 [CC \| ]	No label in !	Number \| 数 \| Số \| عدد \| Tal \| Zenbaki	6
Q840810 [CC \| ]	No label in !	Transfinite induction \| 超限归纳法 \| Indução transfinita \| Quy nạp siêu hạn \| Transfinitní indukce \| استقرای ترامتناهی	6
Q671944 [CC \| ]	No label in !	Transitive set \| 추이적 집합 \| 传递集合 \| Conjunto transitivo \| Tranzitivní třída \| مجموعه متعدی (نظریه مجموعه‌ها)	6
Q719112 [CC \| ]	No label in !	MathWorld	5
Q1987722 [CC \| ]	No label in !	אקסיומת האיחוד \| Axiom of union \| 并集公理 \| Axioma da união \| اصل موضوع اجتماع	5
Q1165112 [CC \| ]	No label in !	יחידון \| Singleton (mathematics) \| 한원소 집합 \| Đơn điểm (toán học) \| مجموعه تک‌عضوی	5
Q1000116 [CC \| ]	No label in !	Axiom of countable choice \| 가산 선택 공리 \| 可数选择公理 \| Axiom spočetného výběru \| اصل انتخاب شمارا	5
Q3303153 [CC \| ]	No label in !	Axiom of dependent choice \| 의존적 선택 공리 \| 依賴選擇公理 \| Princípio da Escolha Dependente \| Axiom závislého výběru	5
Q780487 [CC \| ]	No label in !	Axiom schema of specification \| 分类公理 \| Axioma da separação \| اصل موضوع تصریح \| Schéma d'axiomes de compréhension	5
Q11567 [CC \| ]	No label in !	Complex number \| 复数 (数学) \| Số phức \| عدد مركب \| Zenbaki konplexu	5
Q2777107 [CC \| ]	No label in !	Constructible universe \| 구성 가능 전체 \| Universo constructible \| Universo construível \| Konstruovatelná množina	5
Q743418 [CC \| ]	No label in !	Octonion \| 八元数 \| أوكتونيون \| Oktonioi	5
Q122318 [CC \| ]	No label in !	Paul Bernays \| پل برنایز \| Isaak Paul Bernays	5
Q163335 [CC \| ]	No label in !	Principia Mathematica \| 수학 원리 \| 数学原理 \| مبادی ریاضیات	5
Q2296408 [CC \| ]	No label in !	Suslin's problem \| 수슬린 가설 \| 蘇斯林問題 \| Problema de Suslin \| Suslinova hypotéza	5
Q65943 [CC \| ]	No label in !	Theorem \| 定理 \| Twierdzenie \| مبرهنة \| قضیه	5
Q278770 [CC \| ]	No label in !	Von Neumann–Bernays–Gödel set theory \| 폰 노이만-베르나이스-괴델 집합론 \| 冯诺伊曼-博内斯-哥德尔集合论 \| Teoria dos conjuntos de Von Neumann-Bernays-Gödel \| Von Neumannova–Bernaysova–Gödelova teorie množin	5
Q214969 [CC \| ]	No label in !	Willard Van Orman Quine \| Willard van Orman Quine \| ویلارد کواین	5
Q740424 [CC \| ]	No label in !	אקסיומת ההיקפיות \| Axiom of extensionality \| 外延公理 \| Axioma da extensão	4
Q470981 [CC \| ]	No label in !	אקסיומת היסוד \| Axiom of regularity \| 正则性公理 \| Axioma da regularidade	4
Q565 [CC \| ]	No label in !	Wikimedia Commons \| ויקישיתוף	4
Q1033910 [CC \| ]	No label in !	משפט קנטור-שרדר-ברנשטיין \| Schröder–Bernstein theorem \| Cantorin–Schröderin–Bernsteinin lause \| Théorème de Cantor-Bernstein	4
Q369377 [CC \| ]	No label in !	סדר מלא \| Total order \| Orden total \| Orde total	4
Q1033906 [CC \| ]	No label in !	פונקציית זיווג \| Cantorsche Paarungsfunktion \| Funzione coppia \| Fonction de couplage	4
Q920796 [CC \| ]	No label in !	Axiom of pairing \| 配对公理 \| Axioma do par \| اصل موضوع زوج‌سازی	4
Q1010269 [CC \| ]	No label in !	Burali-Forti paradox \| 부랄리포르티 역설 \| پارادوکس بورالی-فورتی \| Buraliho-Fortiho paradox	4
Q877945 [CC \| ]	No label in !	Computable set \| 递归集合 \| Conjunto recursivo \| مجموعه بازگشتی	4
Q724975 [CC \| ]	No label in !	Gaussian integer \| 高斯整數 \| Số nguyên Gauss \| عدد صحيح غاوسي	4
Q370502 [CC \| ]	No label in !	Map (mathematics) \| Ánh xạ \| تطبيق (رياضيات) \| Zobrazení (matematika)	4
Q622185 [CC \| ]	No label in !	Martin's axiom \| 마틴 공리 \| 馬丁公理 \| Axioma de Martin	4
Q467606 [CC \| ]	No label in !	Model theory \| 모형 이론 \| نظرية النموذج \| نظریه مدل	4
Q311627 [CC \| ]	No label in !	P-adic number \| P進數 \| Số p-adic \| عدد تقاربي بتردد p	4
Q173853 [CC \| ]	No label in !	Quaternion \| 四元數 \| Koaternioi	4
Q875333 [CC \| ]	No label in !	Surreal number \| 超現實數 \| Liczby nadrzeczywiste \| عدد فوق حقيقي	4
Q924992 [CC \| ]	No label in !	Thomas Jech \| 湯瑪士·葉赫	4
Q1056428 [CC \| ]	No label in !	Type theory \| 유형 이론 \| نظرية النمط \| نظریه نوع‌ها	4
Q597663 [CC \| ]	No label in !	Universe (mathematics) \| Conjunto universo \| Univerzální množina \| Základná množina	4
Q681771 [CC \| ]	No label in !	可替代的集合论 \| Alternativní teorie množin \| نظریه مجموعه جایگزین \| Alternatívna teória množín	4
Q2914225 [CC \| ]	No label in !	等势 \| Equipotència \| Gelijkmachtigheid \| Équipotence	4
Q1860 [CC \| ]	No label in !	英文 \| ภาษาอังกฤษ \| اللغة الإنجليزية \| Lingua inglesa	4
Q205 [CC \| ]	No label in !	Infinito \| Nieskończoność \| Uendelighed \| Óendanleiki	4
Q186619 [CC \| ]	No label in !	Argument \| حجة (منطق) \| برهان (منطق)	3
Q942353 [CC \| ]	No label in !	Boolean function \| دالة بول \| تابع بولی	3
Q199006 [CC \| ]	No label in !	Codomain \| 공역 \| Maalijoukko	3
Q1148456 [CC \| ]	No label in !	Computable function \| دالة قابلة للحساب \| Fonction calculable	3
Q676835 [CC \| ]	No label in !	Computably enumerable set \| مجموعة مرقمة بشكل تراجعي \| Récursivement énumérable	3
Q1321926 [CC \| ]	No label in !	Constructible number \| 規矩數 \| عدد قابل للإنشاء	3
Q1520033 [CC \| ]	No label in !	Count noun \| Nome numerabile \| Nom dénombrable	3
Q247154 [CC \| ]	No label in !	Counting \| Contar \| عد (رياضيات)	3
Q3893614 [CC \| ]	No label in !	Definable real number \| 可定义数 \| Difinebla nombro	3
Q3044574 [CC \| ]	No label in !	Denominator \| Denominador	3
Q192439 [CC \| ]	No label in !	Domain of a function \| 정의역 \| منطلق دالة	3
Q739925 [CC \| ]	No label in !	Family of sets \| 集合族 \| Família de conjuntos	3
Q4055684 [CC \| ]	No label in !	First-order logic \| منطق الرتبة الأولى \| Calcul des prédicats	3
Q649732 [CC \| ]	No label in !	Formal system \| نظام شكلي \| دستگاه صوری	3
Q837414 [CC \| ]	No label in !	Hypercomplex number \| 超复数 \| Số siêu phức	3
Q5958543 [CC \| ]	No label in !	Hyperreal number \| 超实数 (非标准分析) \| عدد حقيقي فائق	3
Q1331373 [CC \| ]	No label in !	Inaccessible cardinal \| 도달 불가능한 기수 \| Liczba nieosiągalna	3
Q1068283 [CC \| ]	No label in !	Löwenheim–Skolem theorem \| Teorema de Löwenheim-Skolem \| Théorème de Löwenheim-Skolem	3
Q3490369 [CC \| ]	No label in !	Morse–Kelley set theory \| نظرية المجموعات حسب مورس-كيلي \| Kelleyova–Morseova teorie množin	3
Q649337 [CC \| ]	No label in !	New Foundations \| 새 기초 \| 新基础集合论	3
Q2279584 [CC \| ]	No label in !	Numerator \| Numerador	3
Q852732 [CC \| ]	No label in !	Proof theory \| نظرية البرهان \| نظریه برهان	3
Q108163 [CC \| ]	No label in !	Proposition \| قضية (فلسفة) \| گزاره (منطق)	3
Q200694 [CC \| ]	No label in !	Propositional calculus \| حساب القضايا \| حساب گزاره‌ای	3
Q179976 [CC \| ]	No label in !	Recursion \| Recursividade \| عودية	3
Q79188 [CC \| ]	No label in !	Sedenion \| 十六元數 \| سيدينيون	3
Q371948 [CC \| ]	No label in !	Serge Lang	3
Q1096353 [CC \| ]	No label in !	Skolem's paradox \| Paradoja de Skolem \| Paradoxe de Skolem	3
Q107342 [CC \| ]	No label in !	Syllogism \| قياس (منطق) \| قیاس	3
Q219079 [CC \| ]	No label in !	Truth table \| جدول الحقيقة \| جدول ارزش	3
Q600590 [CC \| ]	No label in !	Tuple \| Tupel \| 多元组	3
Q163310 [CC \| ]	No label in !	Turing machine \| Turingmaschine \| Machine de Turing	3
Q191853 [CC \| ]	No label in !	Zermelo set theory \| 策梅洛集合论 \| Teoria de conjuntos de Zermelo	3
Q25670 [CC \| ]	No label in !	Digital Object Identifier \| Digital object identifier	3
Q42989 [CC \| ]	No label in !	Topologie (Mathematik) \| Topologia \| Topologie	3
Q179899 [CC \| ]	No label in !	Topologischer Raum \| 拓扑空间 \| Espace topologique	3
Q1755697 [CC \| ]	No label in !	Nombre de Liouville \| Número de Liouville	3
Q230967 [CC \| ]	No label in !	Nombre parell \| Números pares e impares \| Párne číslo	3
Q66055 [CC \| ]	No label in !	Fracción \| Fração \| Fracción (matemáticas)	3
Q120812 [CC \| ]	No label in !	Valor absoluto \| Absolutní hodnota \| Valeur absolue	3
Q92767 [CC \| ]	No label in !	Lotfali Askar-Zadeh \| Lotfi Zadeh \| لطفی زاده	3
Q290810 [CC \| ]	No label in !	הלמה של צורן \| 초른 보조정리	2
Q130998 [CC \| ]	No label in !	יחס שקילות \| Equivalence relation	2
Q904423 [CC \| ]	No label in !	תורת הקבוצות האקסיומטית \| Axiomatická teorie množin	2
Q2893020 [CC \| ]	No label in !	Algebra of physical space \| 物理空间代数	2
Q4830558 [CC \| ]	No label in !	Axiom of determinacy \| 결정 집합	2
Q792536 [CC \| ]	No label in !	Axiom schema \| 公理模式	2
Q737851 [CC \| ]	No label in !	Banach–Tarski paradox \| 바나흐-타르스키 역설	2
Q3052356 [CC \| ]	No label in !	Bicomplex number \| 雙複數	2
Q164307 [CC \| ]	No label in !	Binary operation \| عملية ثنائية	2
Q2590607 [CC \| ]	No label in !	Biquaternion \| 複四元數	2
Q173183 [CC \| ]	No label in !	Boolean algebra \| جبر بول	2
Q379078 [CC \| ]	No label in !	Cantor's paradox \| 칸토어 역설	2
Q309157 [CC \| ]	No label in !	Church–Turing thesis \| أطروحة تشرش-تورينغ	2
Q236975 [CC \| ]	No label in !	Classical logic \| منطق کلاسیک	2
Q818895 [CC \| ]	No label in !	Computable number \| 可計算數	2
Q430001 [CC \| ]	No label in !	Decidability (logic) \| Décidabilité	2
Q842620 [CC \| ]	No label in !	Disjoint union \| اجتماع مجزا	2
Q751048 [CC \| ]	No label in !	Dual number \| 二元数	2
Q2704791 [CC \| ]	No label in !	Enumeration \| تعداد	2
Q2915225 [CC \| ]	No label in !	Finite intersection property \| Propiedad de la intersección finita	2
Q192161 [CC \| ]	No label in !	Formal language \| Formale Sprache	2
Q2762418 [CC \| ]	No label in !	Formal proof \| برهان فلسفي	2
Q833585 [CC \| ]	No label in !	Foundations of mathematics \| أسس الرياضيات	2
Q1186649 [CC \| ]	No label in !	Geometric algebra \| 几何代数	2
Q622849 [CC \| ]	No label in !	Halting problem \| Problème de l'arrêt	2
Q5737811 [CC \| ]	No label in !	Hereditarily finite set \| 继承有限集合	2
Q860623 [CC \| ]	No label in !	Image (mathematics) \| 상 (수학)	2
Q408386 [CC \| ]	No label in !	Inference \| استدلال (بحث علمي)	2
Q6641390 [CC \| ]	No label in !	List of statements independent of ZFC \| ZFC系統無法確定的命題列表	2
Q8078 [CC \| ]	No label in !	Logic \| منطق	2
Q211790 [CC \| ]	No label in !	Logical connective \| رابطة منطقية	2
Q374182 [CC \| ]	No label in !	Logical consequence \| استتباع منطقي	2
Q1084631 [CC \| ]	No label in !	Multicomplex number \| 多重复数	2
Q902708 [CC \| ]	No label in !	Normal number \| Número normal	2
Q4344872 [CC \| ]	No label in !	Paradoxes of set theory \| Paradoxy naivní teorie množin	2
Q370085 [CC \| ]	No label in !	Paul Halmos	2
Q1144319 [CC \| ]	No label in !	Predicate (mathematical logic) \| محمول (منطق)	2
Q1073063 [CC \| ]	No label in !	Recursively enumerable language \| Rekurzivně spočetný jazyk	2
Q1548746 [CC \| ]	No label in !	Second-order logic \| منطق الرتبة الثانية	2
Q693083 [CC \| ]	No label in !	Soundness \| درستی (منطق)	2
Q7572735 [CC \| ]	No label in !	Spacetime algebra \| 时空代数	2
Q864145 [CC \| ]	No label in !	Split-complex number \| 雙曲複數	2
Q2996919 [CC \| ]	No label in !	Split-quaternion \| 分裂四元数	2
Q2111211 [CC \| ]	No label in !	Superreal number \| عدد حقيقي ممتاز	2
Q2395230 [CC \| ]	No label in !	Syntax (logic) \| نحو (منطق)	2
Q548080 [CC \| ]	No label in !	Thoralf Skolem \| تورالف اسکولم	2
Q185521 [CC \| ]	No label in !	Truth value \| قيمة صواب	2
Q1378301 [CC \| ]	No label in !	Universal set \| مجموعه جهانی	2
Q1047000 [CC \| ]	No label in !	Validity (logic) \| صحة (المنطق)	2
Q470503 [CC \| ]	No label in !	Walter Rudin	2
Q336779 [CC \| ]	No label in !	Abzählbarkeitsaxiom \| 可數性公理	2
Q2707818 [CC \| ]	No label in !	American Mathematical Monthly \| The American Mathematical Monthly	2
Q589250 [CC \| ]	No label in !	가능 공종도 \| Teoria PCF	2
Q925445 [CC \| ]	No label in !	가측 기수 \| Liczba mierzalna	2
Q831092 [CC \| ]	No label in !	베트 수 \| Skala betów	2
Q273188 [CC \| ]	No label in !	칸토어 집합 \| 康托尔集	2
Q1137014 [CC \| ]	No label in !	티호노프 정리 \| 吉洪诺夫定理	2
Q680081 [CC \| ]	No label in !	可分空间 \| Espace séparable	2
Q810214 [CC \| ]	No label in !	基 (拓撲學) \| Base (topologie)	2
Q213363 [CC \| ]	No label in !	开集 \| Ouvert (topologie)	2
Q936155 [CC \| ]	No label in !	林德勒夫空間 \| Espace de Lindelöf	2
Q673444 [CC \| ]	No label in !	稠密集 \| Partie dense	2
Q1363919 [CC \| ]	No label in !	第二可數空間 \| Espace à base dénombrable	2
Q381892 [CC \| ]	No label in !	紧空间 \| Espacio compacto	2
Q1052678 [CC \| ]	No label in !	贝尔纲定理 \| Théorème de Baire	2
Q7754 [CC \| ]	No label in !	Anàlisi matemàtica \| Analyse (mathématiques)	2
Q1368270 [CC \| ]	No label in !	Journal de Crelle \| Journal für die reine und angewandte Mathematik	2
Q15614122 [CC \| ]	No label in !	Teoria de la mesura \| Théorie de la mesure	2
Q6722 [CC \| ]	No label in !	Carl Friedrich Gauss	2
Q215382 [CC \| ]	No label in !	Conjuntos disjuntos	2
Q76410 [CC \| ]	No label in !	Leopold Kronecker	2
Q2013 [CC \| ]	No label in !	Wikidata	2
Q1069998 [CC \| ]	No label in !	Relação de ordem \| Relation d'ordre	2
Q168550 [CC \| ]	No label in !	Eric W. Weisstein	2
Q50705 [CC \| ]	No label in !	Square number \| Carré parfait	2
Q1888019 [CC \| ]	No label in !	Petr Vopěnka	2
Q14806642 [CC \| ]	No label in !	Rozdíl množin \| Rozdiel množín	2
Q167 [CC \| ]	No label in !	Pi (zenbakia) \| Pi	2
Q483372 [CC \| ]	No label in !	پارادوکس \| Paradoksi	2
Q185148 [CC \| ]	No label in !	Interval (matematică) \| Intervalle (mathématiques)	2
Q356702 [CC \| ]	No label in !	הוכחת האי-מנייה הראשונה של קנטור	1
Q620006 [CC \| ]	No label in !	טיפוס סדר	1
Q130901 [CC \| ]	No label in !	יחס (תורת הקבוצות)	1
Q583760 [CC \| ]	No label in !	יחס אנטי-סימטרי	1
Q1248241 [CC \| ]	No label in !	יחס הופכי	1
Q64861 [CC \| ]	No label in !	יחס טרנזיטיבי	1
Q621461 [CC \| ]	No label in !	יחס סימטרי	1
Q621850 [CC \| ]	No label in !	יחס רפלקסיבי	1
Q1457052 [CC \| ]	No label in !	משפט הסדר הטוב	1
Q474715 [CC \| ]	No label in !	סדר חלקי	1
Q180159 [CC \| ]	No label in !	סימון מתמטי	1
Q1174982 [CC \| ]	No label in !	שדה המספרים הממשיים	1
Q2748142 [CC \| ]	No label in !	Abstract logic	1
Q341810 [CC \| ]	No label in !	Ackermann set theory	1
Q1005222 [CC \| ]	No label in !	Algebraic logic	1
Q840148 [CC \| ]	No label in !	Almost	1
Q837518 [CC \| ]	No label in !	Alphabet (formal languages)	1
Q4747788 [CC \| ]	No label in !	Amorphous set	1
Q1315869 [CC \| ]	No label in !	Arity	1
Q2328174 [CC \| ]	No label in !	Atomic formula	1
Q4345785 [CC \| ]	No label in !	Atomic sentence	1
Q214526 [CC \| ]	No label in !	Automata theory	1
Q431667 [CC \| ]	No label in !	Automated theorem proving	1
Q18205396 [CC \| ]	No label in !	Axiom of adjunction	1
Q1151112 [CC \| ]	No label in !	Axiom of constructibility	1
Q3511558 [CC \| ]	No label in !	Axiom of global choice	1
Q836475 [CC \| ]	No label in !	Axiom of limitation of size	1
Q792542 [CC \| ]	No label in !	Axiomatic system	1
Q28453720 [CC \| ]	No label in !	Bioctonion	1
Q4943350 [CC \| ]	No label in !	Boolean algebras canonically defined	1
Q15830473 [CC \| ]	No label in !	Categorical theory	1
Q719395 [CC \| ]	No label in !	Category (mathematics)	1
Q2518298 [CC \| ]	No label in !	Category of sets	1
Q217413 [CC \| ]	No label in !	Category theory	1
Q1089708 [CC \| ]	No label in !	Church encoding	1
Q674689 [CC \| ]	No label in !	Clifford algebra	1
Q777407 [CC \| ]	No label in !	Closed-form expression	1
Q1149458 [CC \| ]	No label in !	Compactness theorem	1
Q3508260 [CC \| ]	No label in !	Complete theory	1
Q2835957 [CC \| ]	No label in !	Composition algebra	1
Q818930 [CC \| ]	No label in !	Computability theory	1
Q1575634 [CC \| ]	No label in !	Concrete category	1
Q864213 [CC \| ]	No label in !	Conservative extension	1
Q1319773 [CC \| ]	No label in !	Consistency	1
Q2584477 [CC \| ]	No label in !	Construction of the real numbers	1
Q5164501 [CC \| ]	No label in !	Constructive set theory	1
Q5176731 [CC \| ]	No label in !	Count data	1
Q3262192 [CC \| ]	No label in !	Decision problem	1
Q5249754 [CC \| ]	No label in !	Dedekind-infinite set	1
Q3322159 [CC \| ]	No label in !	Deductive system	1
Q15805655 [CC \| ]	No label in !	Diagram (mathematical logic)	1
Q1231309 [CC \| ]	No label in !	Division algebra	1
Q5310237 [CC \| ]	No label in !	Dual quaternion	1
Q5358902 [CC \| ]	No label in !	Elementary diagram	1
Q877149 [CC \| ]	No label in !	Elementary equivalence	1
Q5358906 [CC \| ]	No label in !	Elementary function arithmetic	1
Q5384443 [CC \| ]	No label in !	Equiconsistency	1
Q85660 [CC \| ]	No label in !	Erich Kamke	1
Q172891 [CC \| ]	No label in !	Euclid's Elements	1
Q162886 [CC \| ]	No label in !	Euclidean geometry	1
Q773483 [CC \| ]	No label in !	Existential quantification	1
Q6498784 [CC \| ]	No label in !	Expression (mathematics)	1
Q105759800 [CC \| ]	No label in !	Extended natural numbers	1
Q5421941 [CC \| ]	No label in !	Extension by definitions	1
Q5163116 [CC \| ]	No label in !	Extension by new constant and function names	1
Q965432 [CC \| ]	No label in !	Extensionality	1
Q16545258 [CC \| ]	No label in !	Filter (set theory)	1
Q203066 [CC \| ]	No label in !	Finitary relation	1
Q5450405 [CC \| ]	No label in !	Finite model theory	1
Q55611653 [CC \| ]	No label in !	Finite-valued logic	1
Q111181235 [CC \| ]	No label in !	Fixed-point logic	1
Q373045 [CC \| ]	No label in !	Formal grammar	1
Q3005945 [CC \| ]	No label in !	Formation rule	1
Q5474574 [CC \| ]	No label in !	Foundations of geometry	1
Q3502887 [CC \| ]	No label in !	Free logic	1
Q935944 [CC \| ]	No label in !	Free variables and bound variables	1
Q5508846 [CC \| ]	No label in !	Functional predicate	1
Q3407463 [CC \| ]	No label in !	Fuzzy number	1
Q5532389 [CC \| ]	No label in !	General set theory	1
Q1465090 [CC \| ]	No label in !	Grothendieck universe	1
Q431411 [CC \| ]	No label in !	Ground expression	1
Q110765095 [CC \| ]	No label in !	Ground formula	1
Q1451046 [CC \| ]	No label in !	Gödel numbering	1
Q902052 [CC \| ]	No label in !	Gödel's completeness theorem	1
Q200787 [CC \| ]	No label in !	Gödel's incompleteness theorems	1
Q5737878 [CC \| ]	No label in !	Hereditary set	1
Q1644136 [CC \| ]	No label in !	Higher-order logic	1
Q910361 [CC \| ]	No label in !	Hilbert system	1
Q840243 [CC \| ]	No label in !	Hilbert's axioms	1
Q468620 [CC \| ]	No label in !	History of logic	1
Q3413403 [CC \| ]	No label in !	Hyperbolic quaternion	1
Q3510991 [CC \| ]	No label in !	ISO 31-11	1
Q2705017 [CC \| ]	No label in !	Independence (mathematical logic)	1
Q55614449 [CC \| ]	No label in !	Infinite-valued logic	1
Q131222 [CC \| ]	No label in !	Information theory	1
Q6033616 [CC \| ]	No label in !	Inhabited set	1
Q6035663 [CC \| ]	No label in !	Inner model	1
Q523607 [CC \| ]	No label in !	Interpretation (logic)	1
Q17101792 [CC \| ]	No label in !	Interpretation (model theory)	1
Q189112 [CC \| ]	No label in !	Isomorphism	1
Q616266 [CC \| ]	No label in !	John Stillwell	1
Q1456811 [CC \| ]	No label in !	Kolmogorov complexity	1
Q3526833 [CC \| ]	No label in !	Kripke–Platek set theory	1
Q242028 [CC \| ]	No label in !	Lambda calculus	1
Q207505 [CC \| ]	No label in !	Lemma (mathematics)	1
Q6535342 [CC \| ]	No label in !	Levi-Civita field	1
Q2379128 [CC \| ]	No label in !	Lindström's theorem	1
Q6626686 [CC \| ]	No label in !	List of Hilbert systems	1
Q3632199 [CC \| ]	No label in !	List of axioms	1
Q2908665 [CC \| ]	No label in !	List of first-order theories	1
Q6621081 [CC \| ]	No label in !	List of formal systems	1
Q6627335 [CC \| ]	No label in !	List of mathematical theories	1
Q104867734 [CC \| ]	No label in !	List of set identities and relations	1
Q6644179 [CC \| ]	No label in !	List of types of numbers	1
Q204355 [CC \| ]	No label in !	Logical biconditional	1
Q191081 [CC \| ]	No label in !	Logical conjunction	1
Q1782658 [CC \| ]	No label in !	Logical constant	1
Q1651704 [CC \| ]	No label in !	Logical disjunction	1
Q3308477 [CC \| ]	No label in !	Logical equality	1
Q220433 [CC \| ]	No label in !	Logical equivalence	1
Q3311695 [CC \| ]	No label in !	Logical truth	1
Q845691 [CC \| ]	No label in !	Logicism	1
Q185502 [CC \| ]	No label in !	Many-valued logic	1
Q7881229 [CC \| ]	No label in !	Material conditional	1
Q246672 [CC \| ]	No label in !	Mathematical object	1
Q193983 [CC \| ]	No label in !	Metalanguage	1
Q4059939 [CC \| ]	No label in !	Minimal axioms for Boolean algebra	1
Q6888319 [CC \| ]	No label in !	Model complete theory	1
Q6897882 [CC \| ]	No label in !	Monadic predicate calculus	1
Q26899137 [CC \| ]	No label in !	Monadic second-order logic	1
Q628036 [CC \| ]	No label in !	NP (complexity)	1
Q1572108 [CC \| ]	No label in !	Natural deduction	1
Q190558 [CC \| ]	No label in !	Negation	1
Q233858 [CC \| ]	No label in !	Non-Euclidean geometry	1
Q7048956 [CC \| ]	No label in !	Non-logical symbol	1
Q3318128 [CC \| ]	No label in !	Non-standard model	1
Q3318130 [CC \| ]	No label in !	Non-standard model of arithmetic	1
Q830486 [CC \| ]	No label in !	Open formula	1
Q3884033 [CC \| ]	No label in !	Operation (mathematics)	1
Q7100782 [CC \| ]	No label in !	Ordinal analysis	1
Q846354 [CC \| ]	No label in !	P (complexity)	1
Q746242 [CC \| ]	No label in !	P versus NP problem	1
Q381060 [CC \| ]	No label in !	Partition of a set	1
Q842755 [CC \| ]	No label in !	Peano axioms	1
Q2835973 [CC \| ]	No label in !	Period (algebraic geometry)	1
Q180536 [CC \| ]	No label in !	Philosophy of mathematics	1
Q122639567 [CC \| ]	No label in !	Plane-based geometric algebra	1
Q35148 [CC \| ]	No label in !	Predicate logic	1
Q10531432 [CC \| ]	No label in !	Predicate variable	1
Q7243580 [CC \| ]	No label in !	Primitive recursive arithmetic	1
Q1570472 [CC \| ]	No label in !	Primitive recursive function	1
Q23018462 [CC \| ]	No label in !	Profinite integer	1
Q17163436 [CC \| ]	No label in !	Proof of impossibility	1
Q1372900 [CC \| ]	No label in !	Propositional formula	1
Q3492863 [CC \| ]	No label in !	Propositional variable	1
Q592911 [CC \| ]	No label in !	Quantifier (logic)	1
Q7268912 [CC \| ]	No label in !	Quantifier rank	1
Q123739394 [CC \| ]	No label in !	Relation (mathematics)	1
Q2005236 [CC \| ]	No label in !	Reverse mathematics	1
Q928884 [CC \| ]	No label in !	Robinson arithmetic	1
Q1068763 [CC \| ]	No label in !	Rule of inference	1
Q1350299 [CC \| ]	No label in !	Satisfiability	1
Q1473532 [CC \| ]	No label in !	Saturated model	1
Q7442973 [CC \| ]	No label in !	Second-order arithmetic	1
Q7448234 [CC \| ]	No label in !	Self-verifying theories	1
Q7449101 [CC \| ]	No label in !	Semantic theory of truth	1
Q963731 [CC \| ]	No label in !	Semantics of logic	1
Q2509500 [CC \| ]	No label in !	Sentence (mathematical logic)	1
Q1771121 [CC \| ]	No label in !	Sequent calculus	1
Q3352804 [CC \| ]	No label in !	Set-builder notation	1
Q741810 [CC \| ]	No label in !	Signature (logic)	1
Q7536198 [CC \| ]	No label in !	Skolem arithmetic	1
Q3489713 [CC \| ]	No label in !	Solenoid (mathematics)	1
Q18392333 [CC \| ]	No label in !	Spectrum of a sentence	1
Q7575321 [CC \| ]	No label in !	Spectrum of a theory	1
Q17103581 [CC \| ]	No label in !	Split-biquaternion	1
Q3348988 [CC \| ]	No label in !	Split-octonion	1
Q2749902 [CC \| ]	No label in !	Square of opposition	1
Q1989404 [CC \| ]	No label in !	Strength (mathematical logic)	1
Q2594083 [CC \| ]	No label in !	String (formal languages)	1
Q1851710 [CC \| ]	No label in !	Structure (mathematical logic)	1
Q1522579 [CC \| ]	No label in !	Substitution (logic)	1
Q859254 [CC \| ]	No label in !	Substructure (mathematics)	1
Q4446295 [CC \| ]	No label in !	Supernatural number	1
Q7644269 [CC \| ]	No label in !	Supertask	1
Q2372244 [CC \| ]	No label in !	Symbol (formal)	1
Q442383 [CC \| ]	No label in !	T-schema	1
Q7686756 [CC \| ]	No label in !	Tarski's axiomatization of the reals	1
Q7686757 [CC \| ]	No label in !	Tarski's axioms	1
Q574902 [CC \| ]	No label in !	Tarski's undefinability theorem	1
Q3984085 [CC \| ]	No label in !	Tarski–Grothendieck set theory	1
Q209555 [CC \| ]	No label in !	Tautology (logic)	1
Q1318370 [CC \| ]	No label in !	Term (logic)	1
Q237125 [CC \| ]	No label in !	Term logic	1
Q10859910 [CC \| ]	No label in !	Theory (mathematical logic)	1
Q185443 [CC \| ]	No label in !	Three-valued logic	1
Q7806105 [CC \| ]	No label in !	Timeline of mathematical logic	1
Q428143 [CC \| ]	No label in !	Tom M. Apostol	1
Q17157202 [CC \| ]	No label in !	Transfer principle	1
Q7847560 [CC \| ]	No label in !	True arithmetic	1
Q7848347 [CC \| ]	No label in !	Truth predicate	1
Q834884 [CC \| ]	No label in !	Type (model theory)	1
Q106671513 [CC \| ]	No label in !	Ultrafilter on a set	1
Q1535225 [CC \| ]	No label in !	Ultraproduct	1
Q3502995 [CC \| ]	No label in !	Undecidable problem	1
Q7885264 [CC \| ]	No label in !	Uninterpreted function	1
Q2502253 [CC \| ]	No label in !	Uniqueness quantification	1
Q126695 [CC \| ]	No label in !	Universal quantification	1
Q1896657 [CC \| ]	No label in !	Urelement	1
Q50701 [CC \| ]	No label in !	Variable (mathematics)	1
Q77887 [CC \| ]	No label in !	Von Neumann universe	1
Q655328 [CC \| ]	No label in !	Well-formed formula	1
Q118398 [CC \| ]	No label in !	ArXiv	1
Q818888 [CC \| ]	No label in !	Berechenbarkeit	1
Q1033872 [CC \| ]	No label in !	Cantors erstes Diagonalargument	1
Q1035425 [CC \| ]	No label in !	Herbert Wilf	1
Q50700 [CC \| ]	No label in !	Koeffizient	1
Q190529 [CC \| ]	No label in !	Nicolas Bourbaki	1
Q214604 [CC \| ]	No label in !	Nullstelle	1
Q1516609 [CC \| ]	No label in !	Otto Forster	1
Q1756942 [CC \| ]	No label in !	Partielle Funktion	1
Q43260 [CC \| ]	No label in !	Polynom	1
Q3509335 [CC \| ]	No label in !	Standardnummerierung	1
Q20828958 [CC \| ]	No label in !	Stern-Brocot-Folge	1
Q19856468 [CC \| ]	No label in !	Zahlenfunktion	1
Q7624677 [CC \| ]	No label in !	강콤팩트 기수	1
Q1283623 [CC \| ]	No label in !	공종도	1
Q1771501 [CC \| ]	No label in !	극한 기수	1
Q3511204 [CC \| ]	No label in !	기멜 함수	1
Q629085 [CC \| ]	No label in !	다가 함수	1
Q746264 [CC \| ]	No label in !	상수 함수	1
Q384699 [CC \| ]	No label in !	순서수 정의 가능 집합	1
Q869647 [CC \| ]	No label in !	슈필라인 확장정리	1
Q2905392 [CC \| ]	No label in !	약콤팩트 기수	1
Q191884 [CC \| ]	No label in !	역함수	1
Q7051810 [CC \| ]	No label in !	정규 함수	1
Q371983 [CC \| ]	No label in !	지시 함수	1
Q7643154 [CC \| ]	No label in !	초콤팩트 기수	1
Q18353968 [CC \| ]	No label in !	추이적 모형	1
Q1806121 [CC \| ]	No label in !	치역	1
Q1077462 [CC \| ]	No label in !	쾨니그의 정리 (집합론)	1
Q2289367 [CC \| ]	No label in !	특이 기수 가설	1
Q1186007 [CC \| ]	No label in !	하르톡스 수	1
Q244761 [CC \| ]	No label in !	함수의 합성	1
Q321119 [CC \| ]	No label in !	항등 함수	1
Q2905020 [CC \| ]	No label in !	화이트헤드 문제	1
Q6358325 [CC \| ]	No label in !	N-连通	1
Q284347 [CC \| ]	No label in !	T1空间	1
Q2789884 [CC \| ]	No label in !	一致同构	1
Q2281389 [CC \| ]	No label in !	一致性质	1
Q1411887 [CC \| ]	No label in !	一致收斂	1
Q652446 [CC \| ]	No label in !	一致空间	1
Q741865 [CC \| ]	No label in !	一致连续	1
Q112151465 [CC \| ]	No label in !	三元數	1
Q111667622 [CC \| ]	No label in !	三十二元數	1
Q1543600 [CC \| ]	No label in !	下限拓扑	1
Q1194053 [CC \| ]	No label in !	乌雷松度量化定理	1
Q1816967 [CC \| ]	No label in !	乌雷松引理	1
Q111747607 [CC \| ]	No label in !	六十四元數	1
Q862761 [CC \| ]	No label in !	内部	1
Q1756828 [CC \| ]	No label in !	凯莱-迪克森结构	1
Q1140985 [CC \| ]	No label in !	分离公理	1
Q1191433 [CC \| ]	No label in !	吉洪诺夫空间	1
Q202906 [CC \| ]	No label in !	同胚	1
Q1139111 [CC \| ]	No label in !	商空间	1
Q912058 [CC \| ]	No label in !	單連通	1
Q1322786 [CC \| ]	No label in !	外部	1
Q1142889 [CC \| ]	No label in !	孤点	1
Q1418327 [CC \| ]	No label in !	密着拓扑	1
Q29654355 [CC \| ]	No label in !	實數線	1
Q583034 [CC \| ]	No label in !	局部緊	1
Q1135427 [CC \| ]	No label in !	序列紧	1
Q1321469 [CC \| ]	No label in !	序拓撲	1
Q1991405 [CC \| ]	No label in !	无处稠密集	1
Q4352436 [CC \| ]	No label in !	有限拓撲空間	1
Q858223 [CC \| ]	No label in !	极限点	1
Q1148924 [CC \| ]	No label in !	柯爾莫果洛夫空間	1
Q1193403 [CC \| ]	No label in !	正則空間	1
Q1071795 [CC \| ]	No label in !	正规空间	1
Q468391 [CC \| ]	No label in !	波爾查諾-魏爾斯特拉斯定理	1
Q253214 [CC \| ]	No label in !	海涅-博雷尔定理	1
Q621550 [CC \| ]	No label in !	点集拓扑学	1
Q175116 [CC \| ]	No label in !	离散空间	1
Q1070472 [CC \| ]	No label in !	积空间	1
Q926996 [CC \| ]	No label in !	第一可數空間	1
Q1669863 [CC \| ]	No label in !	紧致开拓扑	1
Q262370 [CC \| ]	No label in !	艾森斯坦整数	1
Q326908 [CC \| ]	No label in !	豪斯多夫空间	1
Q875399 [CC \| ]	No label in !	边界 (拓扑学)	1
Q1491995 [CC \| ]	No label in !	连通空间	1
Q25488023 [CC \| ]	No label in !	連續函數 (拓撲學)	1
Q2478475 [CC \| ]	No label in !	邻域	1
Q3275652 [CC \| ]	No label in !	邻域系	1
Q320346 [CC \| ]	No label in !	闭包 (拓扑学)	1
Q320369 [CC \| ]	No label in !	闭开集	1
Q320357 [CC \| ]	No label in !	闭集	1
Q281212 [CC \| ]	No label in !	餘有限空間	1
Q3782059 [CC \| ]	No label in !	Equació polinòmica	1
Q54561312 [CC \| ]	No label in !	Conjunto bien ordenado	1
Q118455746 [CC \| ]	No label in !	Control de autoridades	1
Q11345 [CC \| ]	No label in !	Ecuación	1
Q461 [CC \| ]	No label in !	Internet Archive	1
Q64 [CC \| ]	No label in !	Berlino	1
Q3641749 [CC \| ]	No label in !	Bollati Boringhieri	1
Q1381555 [CC \| ]	No label in !	Che cos'è la matematica?	1
Q3751097 [CC \| ]	No label in !	FrancoAngeli	1
Q951395 [CC \| ]	No label in !	Herbert Robbins	1
Q581224 [CC \| ]	No label in !	ISO 31	1
Q1479654 [CC \| ]	No label in !	John Wiley & Sons	1
Q490 [CC \| ]	No label in !	Milano	1
Q60 [CC \| ]	No label in !	New York	1
Q61046 [CC \| ]	No label in !	Richard Courant	1
Q495 [CC \| ]	No label in !	Torino	1
Q13589709 [CC \| ]	No label in !	Domínio	1
Q211504 [CC \| ]	No label in !	Indução	1
Q358007 [CC \| ]	No label in !	Mapeamento	1
Q18338 [CC \| ]	No label in !	Modelo Padrão	1
Q1213353 [CC \| ]	No label in !	União	1
Q15033 [CC \| ]	No label in !	Alef	1
Q1729107 [CC \| ]	No label in !	Arytmetyka liczb kardynalnych	1
Q1186818 [CC \| ]	No label in !	Den Store Danske Encyklopædi	1
Q4041526 [CC \| ]	No label in !	Encyklopedia PWN (internetowa)	1
Q615699 [CC \| ]	No label in !	Encyklopedia internetowa	1
Q4352241 [CC \| ]	No label in !	Funkcja kardynalna	1
Q455501 [CC \| ]	No label in !	Helena Rasiowa	1
Q41719 [CC \| ]	No label in !	Hipoteza	1
Q11715248 [CC \| ]	No label in !	Jacek Cichoń	1
Q1119050 [CC \| ]	No label in !	Lemat Fodora	1
Q423986 [CC \| ]	No label in !	Lemat Szanina	1
Q170790 [CC \| ]	No label in !	Matematyk	1
Q7632662 [CC \| ]	No label in !	Następnik liczby kardynalnej	1
Q1193137 [CC \| ]	No label in !	Regularna liczba kardynalna	1
Q324896 [CC \| ]	No label in !	Ronald Jensen	1
Q448592 [CC \| ]	No label in !	Saharon Szelach	1
Q7818795 [CC \| ]	No label in !	Tomek Bartoszyński	1
Q170084 [CC \| ]	No label in !	Uogólnienie	1
Q1428376 [CC \| ]	No label in !	Wydawnictwo Naukowe PWN	1
Q9387202 [CC \| ]	No label in !	Zasada kwadratu Jensena	1
Q455 [CC \| ]	No label in !	Encyclopædia Britannica	1
Q200227 [CC \| ]	No label in !	Số âm	1
Q9165172 [CC \| ]	No label in !	Số ảo	1
Q235028 [CC \| ]	No label in !	Tập hợp	1
Q10831586 [CC \| ]	No label in !	Tập hợp đo được	1
Q1315052 [CC \| ]	No label in !	Từ điển bách khoa Việt Nam	1
Q7860 [CC \| ]	No label in !	Tự nhiên	1
Q101072 [CC \| ]	No label in !	Định nghĩa	1
Q12202385 [CC \| ]	No label in !	تركيب (منطق)	1
Q3142865 [CC \| ]	No label in !	تفكير منطقي	1
Q16119569 [CC \| ]	No label in !	قضية (توضيح)	1
Q3913 [CC \| ]	No label in !	نظام عد ثنائي	1
Q12283371 [CC \| ]	No label in !	Колизия	1
Q11538 [CC \| ]	No label in !	Matematický důkaz	1
Q1455907 [CC \| ]	No label in !	Rekurzivní jazyk	1
Q14953108 [CC \| ]	No label in !	Řazení	1
Q14674 [CC \| ]	No label in !	Blyant	1
Q5 [CC \| ]	No label in !	Menneske	1
Q11471 [CC \| ]	No label in !	Tid	1
Q110924080 [CC \| ]	No label in !	Domajno (matematiko)	1
Q237179 [CC \| ]	No label in !	Aleph (argipena)	1
Q199 [CC \| ]	No label in !	Bat	1
Q200 [CC \| ]	No label in !	Bi	1
Q203 [CC \| ]	No label in !	Bost	1
Q82435 [CC \| ]	No label in !	E (zenbakia)	1
Q47577 [CC \| ]	No label in !	Fibonacciren zenbakiak	1
Q201 [CC \| ]	No label in !	Hiru	1
Q185264 [CC \| ]	No label in !	Matematikaren historia	1
Q23350 [CC \| ]	No label in !	Zazpi	1
Q13366104 [CC \| ]	No label in !	Zenbaki bikoiti	1
Q207534 [CC \| ]	No label in !	آلفرد تارسکی	1
Q7251 [CC \| ]	No label in !	آلن تورینگ	1
Q92741 [CC \| ]	No label in !	آلونزو چرچ	1
Q491558 [CC \| ]	No label in !	ابن تیمیه	1
Q317787 [CC \| ]	No label in !	ابن حزم	1
Q39837 [CC \| ]	No label in !	ابن رشد	1
Q8011 [CC \| ]	No label in !	ابن سینا	1
Q179759 [CC \| ]	No label in !	ابویوسف کندی	1
Q868 [CC \| ]	No label in !	ارسطو	1
Q1710397 [CC \| ]	No label in !	استدلال	1
Q484284 [CC \| ]	No label in !	استدلال استنتاجی	1
Q134661 [CC \| ]	No label in !	جرج بول	1
Q191029 [CC \| ]	No label in !	جوزپه پئانو	1
Q41585 [CC \| ]	No label in !	داویت هیلبرت	1
Q76519 [CC \| ]	No label in !	رودلف کارناپ	1
Q282883 [CC \| ]	No label in !	شهاب‌الدین یحیی سهروردی	1
Q9546 [CC \| ]	No label in !	غزالی	1
Q160460 [CC \| ]	No label in !	فارابی	1
Q333703 [CC \| ]	No label in !	فخر رازی	1
Q1366730 [CC \| ]	No label in !	فرامنطق	1
Q2476757 [CC \| ]	No label in !	فلسفه منطق	1
Q15439057 [CC \| ]	No label in !	فهرست قواعد استنتاج	1
Q863221 [CC \| ]	No label in !	فهرست مغالطه‌ها	1
Q2222142 [CC \| ]	No label in !	فهرست منطقدانان	1
Q2509345 [CC \| ]	No label in !	فهرست پارادوکس‌ها	1
Q186150 [CC \| ]	No label in !	مغالطه	1
Q176630 [CC \| ]	No label in !	منطق ربط	1
Q224821 [CC \| ]	No label in !	منطق فازی	1
Q491412 [CC \| ]	No label in !	منطق فلسفی	1
Q210841 [CC \| ]	No label in !	منطق موجهات	1
Q171195 [CC \| ]	No label in !	ناگارجونه	1
Q844718 [CC \| ]	No label in !	نظریه محاسبات	1
Q221697 [CC \| ]	No label in !	هیلاری پاتنم	1
Q189725 [CC \| ]	No label in !	پانینی	1
Q4893253 [CC \| ]	No label in !	پولس ایرانی	1
Q60028 [CC \| ]	No label in !	گوتلوب فرگه	1
Q9779 [CC \| ]	No label in !	Aakkoset	1
Q2915190 [CC \| ]	No label in !	Galilein paradoksi	1
Q9288 [CC \| ]	No label in !	Heprea	1
Q106313381 [CC \| ]	No label in !	Kardinaaliluku	1
Q184754 [CC \| ]	No label in !	Strengur (tölvunarfræði)	1
Q1110072 [CC \| ]	No label in !	Ortografia milanesa	1
Q17769568 [CC \| ]	No label in !	En-til-en-korrespondanse	1
Q121416 [CC \| ]	No label in !	Matematică discretă	1
Q726212 [CC \| ]	No label in !	Mulțime mărginită	1
Q343171 [CC \| ]	No label in !	Acta Mathematica	1
Q2832673 [CC \| ]	No label in !	Aleph-un	1
Q230848 [CC \| ]	No label in !	Algorithme d'Euclide	1
Q3968 [CC \| ]	No label in !	Algèbre	1
Q515319 [CC \| ]	No label in !	Andrzej Mostowski	1
Q91486569 [CC \| ]	No label in !	Antécédent (mathématiques)	1
Q599079 [CC \| ]	No label in !	Arbre de Stern-Brocot	1
Q450427 [CC \| ]	No label in !	Azriel Lévy	1
Q5139907 [CC \| ]	No label in !	Codénombrabilité	1
Q5176824 [CC \| ]	No label in !	Condition de chaîne dénombrable	1
Q181054 [CC \| ]	No label in !	Division euclidienne	1
Q2466486 [CC \| ]	No label in !	Définition par récurrence	1
Q4355172 [CC \| ]	No label in !	Edward N. Zalta	1
Q4474437 [CC \| ]	No label in !	Espace dénombrablement engendré	1
Q17295 [CC \| ]	No label in !	Espace euclidien	1
Q8747 [CC \| ]	No label in !	Euclide	1
Q120976 [CC \| ]	No label in !	Factorielle	1
Q856215 [CC \| ]	No label in !	Famille (mathématiques)	1
Q15849625 [CC \| ]	No label in !	Famille sommable	1
Q307 [CC \| ]	No label in !	Galilée (savant)	1
Q1492436 [CC \| ]	No label in !	Gallica	1
Q296259 [CC \| ]	No label in !	George Pólya	1
Q83478 [CC \| ]	No label in !	Groupe (mathématiques)	1
Q558339 [CC \| ]	No label in !	Groupe diédral	1
Q1057968 [CC \| ]	No label in !	Groupe fini	1
Q628106 [CC \| ]	No label in !	Göttinger Digitalisierungszentrum	1
Q72382 [CC \| ]	No label in !	Günter M. Ziegler	1
Q81082 [CC \| ]	No label in !	Henri Poincaré	1
Q21198 [CC \| ]	No label in !	Informatique	1
Q515633 [CC \| ]	No label in !	Jean Cavaillès	1
Q1684974 [CC \| ]	No label in !	Jean-Louis Krivine	1
Q214549 [CC \| ]	No label in !	Joseph Liouville	1
Q155887 [CC \| ]	No label in !	Luitzen Egbertus Jan Brouwer	1
Q86457 [CC \| ]	No label in !	Martin Aigner	1
Q28944095 [CC \| ]	No label in !	Neil Calkin	1
Q190593 [CC \| ]	No label in !	Online Computer Library Center	1
Q1144915 [CC \| ]	No label in !	Ordre lexicographique	1
Q217595 [CC \| ]	No label in !	Oxford University Press	1
Q734209 [CC \| ]	No label in !	Partie génératrice d'un groupe	1
Q1298883 [CC \| ]	No label in !	Patrick Dehornoy	1
Q466774 [CC \| ]	No label in !	Pierre Colmez	1
Q1455652 [CC \| ]	No label in !	Polynôme formel	1
Q3402578 [CC \| ]	No label in !	Presses polytechniques et universitaires romandes	1
Q188276 [CC \| ]	No label in !	Principe des tiroirs	1
Q11030584 [CC \| ]	No label in !	Problème de la décision	1
Q3426030 [CC \| ]	No label in !	René Cori	1
Q1532992 [CC \| ]	No label in !	Rudolf Fueter	1
Q15955882 [CC \| ]	No label in !	Réflexion (mathématiques)	1
Q3475746 [CC \| ]	No label in !	Science et Méthode	1
Q957416 [CC \| ]	No label in !	Solomon Feferman	1
Q3491998 [CC \| ]	No label in !	Sous-ensemble cofini	1
Q176916 [CC \| ]	No label in !	Springer Science+Business Media	1
Q824553 [CC \| ]	No label in !	Stanford Encyclopedia of Philosophy	1
Q9295456 [CC \| ]	No label in !	Théorie axiomatique	1
Q16320788 [CC \| ]	No label in !	Théorème de Fueter-Pólya	1
Q35689 [CC \| ]	No label in !	Topologie de la droite réelle	1
Q10856991 [CC \| ]	No label in !	ZFC	1
Q154356 [CC \| ]	No label in !	Émile Borel	1