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

Q203066 - relation

Searching link targets on 45 Wikipedias...

Toggle existing labels

Item	Label [en]	Wikilabels	Link #
Q173740 [CC \| ]	Cartesian product	Iloczyn kartezjański \| 곱집합 \| Produit cartésien \| Descartes-szorzat \| Prodotto cartesiano \| Otsekorrutis \| Kartesisches Produkt \| Dekartov proizvod \| Cartesisch product \| Produto cartesiano \| Kartezia produto \| Karteziánsky súčin \| Cartesian product \| Декартов производ \| Kartezyen çarpımı \| Karteesinen tulo \| Декартів добуток множин \| Kartesisk produkt \| Kartezični produkt \| Kartézský součin \| Декартово произведение \| 笛卡兒積 \| 直積集合 \| 直積 \| Дэкартаў здабытак \| Prodott cartesian \| Producto cartesiano	27
Q395 [CC \| ]	mathematics	Matematika \| Mathematics \| Matematik \| Математика \| Mathematica \| Mathématiques \| Matematica \| Matemaatika \| Mathematik \| গণিত \| Wiskunde \| Matemática \| Matematikk \| 數學 \| Матэматыка \| Matemáticas	26
Q130901 [CC \| ]	binary relation	二元关系 \| Relassion binaria \| Relacja dwuargumentowa \| Erlazio bitar \| Relation binaire \| Relazione binaria \| Binaarne seos \| Tweeplaatsige relatie \| Binär relation \| Relação binária \| Duvalenta rilato \| Binárna relácia \| Binary relation \| Бинарна релација \| Binäärirelaatio \| Бінарне відношення \| Binární relace \| Бинарное отношение \| 二項関係 \| Бінарнае дачыненне \| Binarne relacije \| Relazion binaria \| Relation binari \| Relasi biner \| Relación binaria	25
Q36161 [CC \| ]	set	Skup \| Множество \| 集合 (数学) \| Ansem \| Zbiór \| Ensemble \| Halmaz (matematika) \| Insieme \| সেট \| Set \| Verzameling (wiskunde) \| Set (mathematics) \| Скуп \| Küme \| Conjunt \| Множина \| Množica \| Množina \| Mængde \| 集 \| Insimul \| Himpunan (matematika) \| Copia	25
Q130998 [CC \| ]	equivalence relation	Equivalence relation \| 等价关系 \| Relacja równoważności \| Baliokidetasun-erlazio \| Relation d'équivalence \| Ekvivalenciareláció \| Relazione di equivalenza \| Äquivalenzrelation \| Quan hệ tương đương \| Equivalentierelatie \| Relação de equivalência \| Denklik bağıntısı \| Relació d'equivalència \| Ekvivalenssirelaatio \| Відношення еквівалентності \| Ekvivalenčna relacija \| Ekvivalence (matematika) \| Ækvivalensrelation \| 等價關係 \| Отношение эквивалентности \| 等價 \| Relatio aequivalentiae	23
Q177646 [CC \| ]	subset	子集 \| Subconjunto \| Podmnožina \| Podzbiór \| Alamhulk \| Teilmenge \| Deelverzameling \| Subaro \| Subset \| Alt küme \| Subconjunt \| Osajoukko \| Підмножина \| Delmengd \| Podmnožica \| Падмноства \| Podskup	21
Q11348 [CC \| ]	function	Function (mathematics) \| Funkcja \| Funzione (matematica) \| Funktsioon (matemaatika) \| Funktion (Mathematik) \| অপেক্ষক (গণিত) \| Functie (wiskunde) \| Função (matemática) \| Funkcio (matematiko) \| Функція (математика) \| Matematisk funksjon \| Funktion (matematik) \| Функция (математика) \| 映射 \| Fonzion (matematega) \| Function (mathematica) \| Fungsi (matematika) \| Functio	19
Q64861 [CC \| ]	transitive relation	Relacja przechodnia \| Iragate-erlazio \| Tranzitív reláció \| Relazione transitiva \| Transitive Relation \| Quan hệ bắc cầu \| Transitivity (mathematics) \| Transitiviteit (wiskunde) \| Transitiv relation \| Relação transitiva \| Transitiva rilato \| Transitiv relasjon \| Tranzitivnost \| Tranzitivní relace \| Транзитивность	15
Q621850 [CC \| ]	reflexive relation	Reflexive relation \| Relacja zwrotna \| 반사관계 \| Reflexív reláció \| Reflexive Relation \| Reflexieve relatie \| Reflexiv relation \| Relação reflexiva \| Refleksiva rilato \| Refleksivnost \| Reflexivní relace \| Рефлексивное отношение \| Relasi refleksif \| Relación reflexiva	15
Q12482 [CC \| ]	set theory	Teoria mnogości \| 집합론 \| Théorie des ensembles \| Halmazelmélet \| Mengenlehre \| সেট তত্ত্ব \| Verzamelingenleer \| Set theory \| Теорія множин \| Теория множеств \| 集論 \| Teori himpunan \| Teoría de conjuntos	13
Q36578 [CC \| ]	Integrated Authority File	Gemeinsame Normdatei \| Integrált katalógustár \| Tümleşik Otorite Dosyası	10
Q191290 [CC \| ]	ordered pair	Para uporządkowana \| Rendezett pár \| Geordnetes Paar \| Par ordenado \| Parell ordenat \| Впорядкована пара \| 有序對 \| Uređeni par \| Par ordinate \| Par ordinatum	10
Q621461 [CC \| ]	symmetric relation	Relacja symetryczna \| Simetria-erlazio \| Szimmetrikus reláció \| Symmetrische Relation \| Symmetrisk relation \| Relação simétrica \| Relació simètrica \| Simetričnost \| Symetrická relace \| Симметричное отношение	10
Q840540 [CC \| ]	relational algebra	Álgebra relacional \| 관계대수 \| Algebra relazionale \| Relationale Algebra \| Relationele algebra \| Relational algebra \| Реляційна алгебра \| Реляционная алгебра \| Aljabar relasional	10
Q600590 [CC \| ]	n-tuple	Tupel \| 多元组 \| N-kote \| 튜플 \| Rendezett n-es \| Ennupla \| Uspořádaná n-tice \| Tupla	9
Q226183 [CC \| ]	empty set	Zbiór pusty \| Leere Menge \| Lege verzameling \| Empty set \| Conjunt buit \| Порожня множина \| 空集 \| Пустое множество \| Himpunan kosong	9
Q755662 [CC \| ]	relational model	Modelo relacional \| 관계형 모델 \| Modello relazionale \| Relationeel model \| Relational model \| Model relacional \| Реляционная модель данных \| Model relasional	9
Q1315869 [CC \| ]	arity	Arity \| 항수 (수학) \| Arité \| Aarsus \| Plaatsigheid \| Арність \| Арность \| Ariti	9
Q1069998 [CC \| ]	partial order	Relation d'ordre \| Rendezett halmaz \| Relazione d'ordine \| Ordnungsrelation \| Relação de ordem \| Partial order \| Відношення порядку \| Relacija urejenosti \| Uspořádání	9
Q118455746 [CC \| ]	authority control	Autoritetsdata \| Kontrola autorytatywna \| Otorite kontrolü \| Control d'autoritats \| Autoritní kontrola \| Нарматыўны кантроль \| Control de autoridades	8
Q583760 [CC \| ]	antisymmetric relation	Relacja antysymetryczna \| Antisimetria-erlazio \| Antiszimmetrikus reláció \| Antisymmetrische Relation \| Relação antissimétrica \| Antisimetria rilato \| Antisymetrická relace \| Антисимметричное отношение	8
Q21199 [CC \| ]	natural number	Zenbaki arrunt \| Entier naturel \| Természetes számok \| Numero naturale \| Natürliche Zahl \| Natuurlijk getal \| Натуральне число \| Натуральное число	8
Q50708 [CC \| ]	divisor	因數 \| Oszthatóság \| Divisor \| Подільність \| Dělitelnost \| Делимость \| Пайланаслăх	7
Q217594 [CC \| ]	class	Klasa (matematyka) \| Classe (mathématiques) \| Klasse (Mengenlehre) \| Klasse (verzamelingenleer) \| Class (set theory) \| Клас (теорія множин) \| Kelas (teori himpunan)	7
Q1144319 [CC \| ]	predicate	Prédicat (logique mathématique) \| Predikaat \| Prädikat (Logik) \| Predicate (mathematical logic) \| Предикат \| Predikát (logika) \| Predicado (lógica)	7
Q192588 [CC \| ]	relational database	Relatsioonandmebaas \| Relationale Datenbank \| Cơ sở dữ liệu quan hệ \| Relationele database \| Relationsdatabas \| Relational database \| Relační databáze	7
Q24175351 [CC \| ]	order theory	Order theory \| Ordetheorie \| Teoria da ordem \| Teoria de l'ordre \| Teori order \| Teoría del orden	7
Q474715 [CC \| ]	partially ordered set	偏序关系 \| Częściowy porządek \| Tập hợp sắp thứ tự một phần \| Partiële orde \| 偏序 \| Conjunto parcialmente ordenado	6
Q12916 [CC \| ]	real number	Liczby rzeczywiste \| Zenbaki erreal \| Numero reale \| বাস্তব সংখ্যা \| Reaaliluku \| Numerus realis	6
Q379825 [CC \| ]	element	Appartenance (mathématiques) \| Element (wiskunde) \| Element (mathematics) \| Element (matemàtiques) \| Елемент (математика) \| Elemen (matematika)	6
Q370502 [CC \| ]	mapping	Application (mathématiques) \| Ánh xạ \| Afbeelding (wiskunde) \| Map (mathematics) \| Preslikava \| Zobrazení (matematika)	6
Q842346 [CC \| ]	equality	Égalité (mathématiques) \| Equality (mathematics) \| Відношення рівності \| Relacija enakosti \| Равенство (математика) \| Пĕртанлăх (математика)	6
Q467606 [CC \| ]	model theory	Modelltheorie \| মডেল তত্ত্ব \| Model theory \| Теорія моделей \| Teori model \| Teoría de modelos	6
Q53875 [CC \| ]	parallelism	Paralelnost (geometrija) \| Паралелност (геометрија) \| Паралельність \| Rovnoběžnost \| Paralelnost \| Параллеллĕ тӳрĕлĕхсем	6
Q192439 [CC \| ]	domain of a function	Dziedzina (matematyka) \| Domein (wiskunde) \| Domain of a function \| Домен (математика) \| Область визначення	5
Q369377 [CC \| ]	total order	Porządek liniowy \| Ordine totale \| Totale orde \| Total ordning \| Дачыненне парадку	5
Q37105 [CC \| ]	line	Prosta \| Droite (mathématiques) \| Egyenes \| Права (линија) \| Pravac	5
Q3756532 [CC \| ]	ternary relation	Relacja trójargumentowa \| Erlazio hirutar \| Relation ternaire \| Ternary relation \| Relación ternaria	5
Q190529 [CC \| ]	Nicolas Bourbaki	Nicolas Bourbaki	5
Q131476 [CC \| ]	graph theory	Gráfelmélet \| Graphentheorie \| গ্রাফ তত্ত্ব \| Grafentheorie \| Теория графов	5
Q8078 [CC \| ]	logic	Logika \| Logica \| Logic \| Lógica	5
Q21198 [CC \| ]	computer science	Informaatika \| Informatik \| Computer science \| Ilmu komputer \| Ciencias de la computación	5
Q108163 [CC \| ]	proposition	Propositsioon \| Propositie \| Proposition \| Výrok (logika) \| Proposisi	5
Q246672 [CC \| ]	mathematical object	Object (wiskunde) \| Mathematical object \| Математичний об'єкт \| Математический объект \| Математикăлла объект	5
Q185837 [CC \| ]	intersection	Część wspólna \| Intersection (set theory) \| Пересечение множеств \| 交集	4
Q164307 [CC \| ]	binary operation	Działanie dwuargumentowe \| Zweistellige Verknüpfung \| Binary operation \| Бінарна операція	4
Q8087 [CC \| ]	geometry	Geometria \| জ্যামিতি \| Meetkunde	4
Q141488 [CC \| ]	graph	Graf (matematyka) \| Grafo \| Gráf \| Graph (Graphentheorie)	4
Q381060 [CC \| ]	partition of a set	Rozbicie zbioru \| Phân hoạch tập hợp \| Partition of a set \| Partición de un conjunto	4
Q185359 [CC \| ]	union	Suma zbiorów \| Union (set theory) \| Объединение множеств \| 併集	4
Q565 [CC \| ]	Wikimedia Commons	Wikimedia Commons \| ويكيميديا كومنز	4
Q1860 [CC \| ]	English	영어 \| Lingua inglese \| English language \| Lingua anglese	4
Q162886 [CC \| ]	Euclidean geometry	Géométrie euclidienne \| Euklidische Geometrie \| ইউক্লিডীয় জ্যামিতি \| Euclidean geometry	4
Q17285 [CC \| ]	plane	Plan (mathématiques) \| Ravan \| Раван \| Ravnina	4
Q371983 [CC \| ]	indicator function	Indikatorfunktion \| Indicator function \| Fungsi indikator \| Función indicatriz	4
Q3968 [CC \| ]	algebra	Algebra \| বীজগণিত \| Альгебра	4
Q173183 [CC \| ]	boolean algebra	বুলিয়ান বীজগণিত \| Boolean algebra \| Алгебра логіки \| Aljabar Boolean	4
Q8513 [CC \| ]	database	Database \| Base de datos	4
Q190763 [CC \| ]	Venn diagram	Venn diagram \| Діаграма Венна \| Diagram Venn	4
Q208448 [CC \| ]	Augustus De Morgan	Augustus De Morgan	4
Q33760 [CC \| ]	Bertrand Russell	Bertrand Russell	4
Q187520 [CC \| ]	Charles Sanders Peirce	Charles Sanders Peirce	4
Q207534 [CC \| ]	Alfred Tarski	Alfred Tarski	4
Q374182 [CC \| ]	logical consequence	Logical consequence \| Умовивід \| استتباع منطقي \| Konsekuensi logis	4
Q1166618 [CC \| ]	mathematical logic	Mathematical logic \| Математична логіка \| Математическая логика \| Logika matematika	4
Q942353 [CC \| ]	Boolean function	布尔函数 \| Boolean function \| Булева функція	3
Q12503 [CC \| ]	integer	Nùmer antregh \| Egész számok \| Numerus integer	3
Q242767 [CC \| ]	complement	Dopełnienie zbioru \| Complement (set theory) \| 補集	3
Q719112 [CC \| ]	MathWorld	MathWorld \| 매스월드	3
Q4049983 [CC \| ]	cardinality	Moc zbioru \| Mächtigkeit (Mathematik) \| Cardinality	3
Q1425985 [CC \| ]	preorder	Praporządek \| Quasiordnung \| Preorde	3
Q199006 [CC \| ]	codomain	Przeciwdziedzina \| Codomain \| Kodomena	3
Q2298831 [CC \| ]	asymmetric relation	Relacja przeciwsymetryczna \| Asymmetrische Relation \| Kontraŭsimetria rilato	3
Q367329 [CC \| ]	incidence structure	결합 구조 \| Incidence structure \| Estructura de incidencia	3
Q1994977 [CC \| ]	logical matrix	이진 행렬 \| Logical matrix \| Matriz booleana	3
Q840247 [CC \| ]	hypergraph	하이퍼그래프 \| Hypergraph \| Hipergrafo	3
Q4055684 [CC \| ]	first-order logic	Calcul des prédicats \| First-order logic \| Логіка першого порядку	3
Q33401 [CC \| ]	Russell's paradox	Paradoxe de Russell \| Russellparadox \| Russell's paradox	3
Q230259 [CC \| ]	Relation	Relation \| Відношення (значення) \| Отношение	3
Q461 [CC \| ]	Internet Archive	Internet Archive	3
Q182598 [CC \| ]	graph of a function	Grafico di una funzione \| Funktionsgraph \| Grafiek (wiskunde)	3
Q185521 [CC \| ]	truth value	Tõeväärtus \| Truth value \| Значення істинності	3
Q133250 [CC \| ]	sequence	Folge (Mathematik) \| Sequence \| Barisan	3
Q1851710 [CC \| ]	structure	Struktur (erste Stufe) \| Structure (mathematical logic) \| Struktur (logika matematika)	3
Q792542 [CC \| ]	axiomatic system	স্বতঃসিদ্ধ ব্যবস্থা \| Axiomatic system \| Аксіоматика	3
Q3884033 [CC \| ]	operation	Operatie (wiskunde) \| Operation (mathematics) \| Operació matemàtica	3
Q35148 [CC \| ]	predicate logic	Predicatenlogica \| Predicate logic \| Логіка предикатів	3
Q214510 [CC \| ]	prefix notation	Prefix- en suffixnotatie \| Polish notation \| Notación polaca	3
Q17736 [CC \| ]	axiom	Axiom \| Аксіома \| Aksioma	3
Q92596 [CC \| ]	Edgar F. Codd	Edgar F. Codd \| Edgar Frank Codd	3
Q192161 [CC \| ]	formal language	Formal language \| Формальна мова \| Bahasa formal	3
Q76420 [CC \| ]	Georg Cantor	Georg Cantor	3
Q60028 [CC \| ]	Gottlob Frege	Gottlob Frege	3
Q985058 [CC \| ]	infix notation	Infix notation \| Інфіксна нотація \| Notación de infijo	3
Q523607 [CC \| ]	interpretation	Interpretation (logic) \| Інтерпретація (логіка) \| Interpretación (lógica)	3
Q211790 [CC \| ]	logical connective	Logical connective \| Mantık bağlacı \| Логічний сполучник	3
Q205170 [CC \| ]	power set	Power set \| Булеан \| 冪集	3
Q200694 [CC \| ]	propositional calculus	Propositional calculus \| Числення висловлень \| Kalkulus proposisional	3
Q179976 [CC \| ]	recursion	Recursion \| Рекурсія \| Rekursi	3
Q76556 [CC \| ]	Richard Dedekind	Richard Dedekind	3
Q107342 [CC \| ]	syllogism	Syllogism \| Силогізм \| Silogisme	3
Q65943 [CC \| ]	theorem	Theorem \| Теорема \| Teorema	3
Q219079 [CC \| ]	truth table	Truth table \| Таблиці істинності \| Tabel kebenaran	3
Q33057 [CC \| ]	International Standard Book Number	ISBN \| International Standard Book Number	3
Q189112 [CC \| ]	isomorphism	Isomorfism \| Isomorphism	2
Q205464 [CC \| ]	algebraic structure	Algebra ogólna \| Algebraische Struktur	2
Q515319 [CC \| ]	Andrzej Mostowski	Andrzej Mostowski (matematyk) \| Мостовський Анджей	2
Q659746 [CC \| ]	well-order	Dobry porządek \| Wohlordnung	2
Q1501387 [CC \| ]	transitive closure	Domknięcie przechodnie \| Transitive Hülle (Relation)	2
Q1756942 [CC \| ]	partial function	Funkcja częściowa \| Partielle Funktion	2
Q161846 [CC \| ]	Kazimierz Kuratowski	Kazimierz Kuratowski \| Казимир Куратовський	2
Q1244890 [CC \| ]	rational number	Liczby wymierne \| Zenbaki arrazional	2
Q208237 [CC \| ]	monoid	Monoid	2
Q379078 [CC \| ]	Cantor's paradox	Paradoks zbioru wszystkich zbiorów \| Cantor's paradox	2
Q338021 [CC \| ]	well-founded relation	Relacja dobrze ufundowana \| Fundovaná relace	2
Q1248241 [CC \| ]	converse relation	Relacja odwrotna \| Reláció inverze	2
Q2481270 [CC \| ]	total relation	Relacja spójna \| Úplná relace	2
Q2713184 [CC \| ]	trichotomy law	Relacja trychotomiczna \| Trichotomická relace	2
Q748349 [CC \| ]	mathematical structure	Struktura matematyczna \| Математическая структура	2
Q215382 [CC \| ]	disjoint sets	Zbiory rozłączne \| Disjunkt	2
Q9067891 [CC \| ]	No label in en!	Erlazio lautar \| Relación cuaternaria	2
Q5487016 [CC \| ]	No label in en!	Erlazio monadiko \| Relación unaria	2
Q9067897 [CC \| ]	No label in en!	Erlazio n-tar \| Relación n-aria	2
Q3751055 [CC \| ]	No label in en!	Ordena-erlazio \| Relació d'ordre	2
Q2013 [CC \| ]	Wikidata	Wikidata	2
Q191780 [CC \| ]	ordinal number	순서수 \| Ordinal number	2
Q101072 [CC \| ]	definition	Definíció \| Definició	2
Q1340196 [CC \| ]	Encyclopedia of Mathematics	Encyclopaedia of Mathematics \| Математическая энциклопедия	2
Q204355 [CC \| ]	logical biconditional	Ekvivalents \| Logical biconditional	2
Q860623 [CC \| ]	image	Bild (Mathematik) \| Image (mathematics)	2
Q1165112 [CC \| ]	singleton	Einelementige Menge \| Singleton (mathematics)	2
Q172891 [CC \| ]	Elements	Elemente (Euklid) \| Euclid's Elements	2
Q856215 [CC \| ]	indexed family	Familie (Mathematik) \| 族 (數學)	2
Q1137726 [CC \| ]	directed graph	Gerichteter Graph \| Ориентированный граф	2
Q217413 [CC \| ]	category theory	Kategorientheorie \| Category theory	2
Q11567 [CC \| ]	complex number	Komplexe Zahl \| জটিল সংখ্যা	2
Q161519 [CC \| ]	permutation	Permutation \| বিন্যাস	2
Q1896657 [CC \| ]	urelement	Urelement	2
Q28113351 [CC \| ]	inequality	অসমতা \| Inequality (mathematics)	2
Q833585 [CC \| ]	foundations of mathematics	গণিতের ভিত্তি \| Foundations of mathematics	2
Q1451046 [CC \| ]	Gödel numbering	গ্যোডেল সংখ্যা \| Gödel numbering	2
Q131222 [CC \| ]	information theory	তথ্য তত্ত্ব \| Information theory	2
Q11563 [CC \| ]	number	সংখ্যা \| Лік	2
Q3262192 [CC \| ]	decision problem	সিদ্ধান্ত সমস্যা \| Decision problem	2
Q242028 [CC \| ]	lambda calculus	Lambda calculus	2
Q12485 [CC \| ]	symmetry	Symmetry \| Symmetria	2
Q131127 [CC \| ]	Banja Luka	Banja Luka \| Бања Лука	2
Q180907 [CC \| ]	bijection	Bijectie \| Bijection	2
Q163335 [CC \| ]	Principia Mathematica	Principia Mathematica	2
Q323107 [CC \| ]	Patrick Suppes	Patrick Suppes	2
Q186619 [CC \| ]	argument	Argument \| Аргумент	2
Q179692 [CC \| ]	axiom of choice	Axiom of choice \| Аксіома вибору	2
Q309157 [CC \| ]	Church-Turing thesis	Church–Turing thesis \| Теза Черча — Тюрінга	2
Q236975 [CC \| ]	classical logic	Classical logic \| Класична логіка	2
Q818930 [CC \| ]	computability theory	Computability theory \| Теорія обчислюваності	2
Q272404 [CC \| ]	finite set	Finite set \| Скінченна множина	2
Q2762418 [CC \| ]	formal proof	Formal proof \| Доказ (логіка)	2
Q649732 [CC \| ]	formal system	Formal system \| Формальна система	2
Q5532389 [CC \| ]	general set theory	General set theory \| Загальна теорія множин	2
Q2705017 [CC \| ]	independence	Independence (mathematical logic) \| Незалежність системи аксіом	2
Q408386 [CC \| ]	inference	Inference \| Висновок	2
Q205140 [CC \| ]	infinite set	Infinite set \| Нескінченна множина	2
Q178377 [CC \| ]	mathematical induction	Mathematical induction \| Induksi matematika	2
Q6897882 [CC \| ]	Monadic predicate calculus	Monadic predicate calculus \| Числення одномісних предикатів	2
Q903783 [CC \| ]	naive set theory	Naive set theory \| Наївна теорія множин	2
Q934729 [CC \| ]	primary key	Primary key \| Clave primaria	2
Q1570472 [CC \| ]	primitive recursive function	Primitive recursive function \| Рекурсивні функції	2
Q7249440 [CC \| ]	projection	Projection (set theory) \| Proyección (teoría de conjuntos)	2
Q592911 [CC \| ]	quantifier	Quantifier (logic) \| Квантор	2
Q379695 [CC \| ]	postfix notation	Reverse Polish notation \| Notación polaca inversa	2
Q76519 [CC \| ]	Rudolf Carnap	Rudolf Carnap	2
Q1068763 [CC \| ]	rule of inference	Rule of inference \| Правило висновування	2
Q1548746 [CC \| ]	second-order logic	Second-order logic \| Логіка другого порядку	2
Q963731 [CC \| ]	semantics of logic	Semantics of logic \| Семантика логіки	2
Q2749902 [CC \| ]	square of opposition	Square of opposition \| Логічний квадрат	2
Q2372244 [CC \| ]	symbol	Symbol (formal) \| Символ (логіка)	2
Q1056428 [CC \| ]	type theory	Type theory \| Теорія типів	2
Q126695 [CC \| ]	universal quantification	Universal quantification \| Квантор всеобщности	2
Q1047000 [CC \| ]	validity	Validity (logic) \| Чинність	2
Q278770 [CC \| ]	Von Neumann–Bernays–Gödel set theory	Von Neumann–Bernays–Gödel set theory \| Теорія множин фон Неймана — Бернайса — Геделя	2
Q191849 [CC \| ]	Zermelo–Fraenkel set theory	Zermelo–Fraenkel set theory \| Теорія множин Цермело — Френкеля	2
Q937228 [CC \| ]	property	Властивість \| Свойство	2
Q185478 [CC \| ]	countably infinite set	Зліченна множина \| Himpunan terhitung	2
Q33521 [CC \| ]	applied mathematics	Прикладна математика \| Прикладная математика	2
Q3932296 [CC \| ]	relational database management system	Реляційна система керування базами даних \| Реляционная СУБД	2
Q1097991 [CC \| ]	irreflexive relation	Ireflexivní relace \| Антирефлексивное отношение	2
Q1226939 [CC \| ]	division	Деление (математика) \| Pembagian	2
Q254465 [CC \| ]	similarity	Подобие \| Евĕрлĕх	2
Q1193827 [CC \| ]	triangular prism	三角柱	1
Q543533 [CC \| ]	coplanarity	共面	1
Q123355871 [CC \| ]	No label in en!	自反性	1
Q15085 [CC \| ]	Piedmontese	Lenga piemontèisa	1
Q9139165 [CC \| ]	No label in en!	Acykliczność	1
Q901446 [CC \| ]	Hasse diagram	Diagram Hassego	1
Q899539 [CC \| ]	cross-ratio	Dwustosunek	1
Q3854337 [CC \| ]	algebraic operation	Działanie algebraiczne	1
Q657596 [CC \| ]	unary operation	Działanie jednoargumentowe	1
Q3884029 [CC \| ]	nullary operation	Działanie zeroargumentowe	1
Q4041526 [CC \| ]	Internetowa encyklopedia PWN	Encyklopedia PWN (internetowa)	1
Q615699 [CC \| ]	online encyclopedia	Encyklopedia internetowa	1
Q7100712 [CC \| ]	ordered geometry	Geometria uporządkowania	1
Q8445 [CC \| ]	marriage	Małżeństwo	1
Q11779637 [CC \| ]	Mieczysław Krąpiec	Mieczysław Albert Krąpiec	1
Q232932 [CC \| ]	open access	Otwarty dostęp	1
Q483372 [CC \| ]	paradox	Paradoks	1
Q230967 [CC \| ]	parity	Parzystość liczb	1
Q26076029 [CC \| ]	Piotr Zakrzewski	Piotr Zakrzewski (matematyk)	1
Q11821616 [CC \| ]	field of relation	Pole relacji	1
Q36 [CC \| ]	Poland	Polska	1
Q11825021 [CC \| ]	No label in en!	Porządek	1
Q11825022 [CC \| ]	No label in en!	Porządek ciągły	1
Q3082805 [CC \| ]	complete partial order	Porządek zupełny	1
Q11826037 [CC \| ]	No label in en!	Powszechna Encyklopedia Filozofii	1
Q1987578 [CC \| ]	unit interval	Przedział jednostkowy	1
Q207348 [CC \| ]	semigroup	Półgrupa	1
Q11832281 [CC \| ]	No label in en!	Półgrupa relacji binarnych	1
Q91124530 [CC \| ]	universal relation	Relacja pełna	1
Q9306071 [CC \| ]	No label in en!	Relacja pusta	1
Q1140902 [CC \| ]	confluence	Relacja silnie konfluentna	1
Q9306076 [CC \| ]	No label in en!	Relacja słabo konfluentna	1
Q945127 [CC \| ]	triviality	Trywialność (matematyka)	1
Q44528 [CC \| ]	Euclidean vector	Wektor	1
Q25404286 [CC \| ]	No label in en!	Zasada abstrakcji	1
Q1513048 [CC \| ]	upward directed set	Zbiór skierowany	1
Q25405639 [CC \| ]	No label in en!	Zbiór spolaryzowany	1
Q2795123 [CC \| ]	composition of relations	Złożenie relacji	1
Q727035 [CC \| ]	adjacency matrix	Auzokidetasun-matrize	1
Q939272 [CC \| ]	incidence matrix	Eraso-matrize	1
Q3753945 [CC \| ]	closure of a relation	Erlazio-itxitura	1
Q194221 [CC \| ]	symmetric closure	Itxitura simetriko	1
Q1419761 [CC \| ]	collinearity	공선점	1
Q739925 [CC \| ]	family of sets	집합족	1
Q19515659 [CC \| ]	intension and extension	Intension et extension	1
Q3426030 [CC \| ]	René Cori	René Cori	1
Q92697 [CC \| ]	Yiannis N. Moschovakis	Yiannis Moschovakis	1
Q3588113 [CC \| ]	Elements of Mathematics	Éléments de mathématique	1
Q673661 [CC \| ]	abstraction	Absztrakció	1
Q6453739 [CC \| ]	primitive notion	Alapfogalom	1
Q25452763 [CC \| ]	No label in en!	Dichotóm reláció	1
Q992461 [CC \| ]	No label in en!	Euklideszi reláció	1
Q1116129 [CC \| ]	Péter Komjáth	Komjáth Péter	1
Q193946 [CC \| ]	scientific model	Modell (tudomány)	1
Q28643 [CC \| ]	paradigm	Paradigma	1
Q1248239 [CC \| ]	No label in en!	Relációk szorzata	1
Q9842 [CC \| ]	primary school	Általános iskola	1
Q2521786 [CC \| ]	De Agostini Editore	De Agostini	1
Q629085 [CC \| ]	multivalued function	Funzione polidroma	1
Q3803714 [CC \| ]	Institute of the Italian Encyclopaedia	Istituto dell'Enciclopedia Italiana	1
Q624546 [CC \| ]	entity-relationship model	Modello E-R	1
Q3924032 [CC \| ]	mathematical property	Proprietà (matematica)	1
Q976981 [CC \| ]	formula	Valem	1
Q187420 [CC \| ]	absorbing element	Absorbierendes Element	1
Q27302 [CC \| ]	German National Library	Deutsche Nationalbibliothek	1
Q18216316 [CC \| ]	Dieter Klaua	Dieter Klaua	1
Q25670 [CC \| ]	digital object identifier	Digital Object Identifier	1
Q193794 [CC \| ]	identity matrix	Einheitsmatrix	1
Q1308999 [CC \| ]	restriction	Einschränkung	1
Q5406124 [CC \| ]	euclidean relation	Euklidische Relation	1
Q538846 [CC \| ]	Garrett Birkhoff	Garrett Birkhoff	1
Q16888001 [CC \| ]	Herbert Kästner	Herbert Kästner	1
Q1616174 [CC \| ]	heterogeneous algebra	Heterogene Algebra	1
Q1663082 [CC \| ]	Ingmar Lehmann	Ingmar Lehmann	1
Q683383 [CC \| ]	intransitive relation	Intransitive Relation	1
Q3297804 [CC \| ]	edge	Kante (Graphentheorie)	1
Q163875 [CC \| ]	cardinal number	Kardinalzahl (Mathematik)	1
Q1304193 [CC \| ]	node	Knoten (Graphentheorie)	1
Q8349849 [CC \| ]	congruence relation	Kongruenzrelation	1
Q1322856 [CC \| ]	correspondence	Korrespondenz (Mathematik)	1
Q192826 [CC \| ]	Kronecker delta	Kronecker-Delta	1
Q397 [CC \| ]	Latin	Latein	1
Q864377 [CC \| ]	multiset	Multimenge	1
Q1191286 [CC \| ]	successor ordinal	Nachfolger (Mathematik)	1
Q4779193 [CC \| ]	apartness relation	Negative Transitivität	1
Q185813 [CC \| ]	identity element	Neutrales Element	1
Q1477744 [CC \| ]	unordered pair	Paarmenge	1
Q33456 [CC \| ]	exponentiation	Potenz (Mathematik)	1
Q1429906 [CC \| ]	Heidelberg University of Education	Pädagogische Hochschule Heidelberg	1
Q369074 [CC \| ]	RAL colour system	RAL-Farbe	1
Q56296648 [CC \| ]	No label in en!	Relationsalgebra	1
Q15847168 [CC \| ]	permutation involution	Selbstinverse Permutation	1
Q2399120 [CC \| ]	Technische Informationsbibliothek (TIB)	Technische Informationsbibliothek	1
Q2449249 [CC \| ]	No label in en!	Transitionsrelation	1
Q2452717 [CC \| ]	Trichotomy	Trichotomie	1
Q212130 [CC \| ]	cyclic permutation	Zyklische Permutation	1
Q1503766 [CC \| ]	nonstandard analysis	অনাদর্শ বিশ্লেষণ	1
Q149999 [CC \| ]	differential calculus	অন্তরকলন	1
Q170058 [CC \| ]	continuous function	অবিচ্ছিন্ন ফাংশন	1
Q160039 [CC \| ]	econometrics	অর্থমিতি	1
Q935 [CC \| ]	Isaac Newton	আইজাক নিউটন	1
Q282228 [CC \| ]	Relativity	আপেক্ষিকতা	1
Q181296 [CC \| ]	abelian group	আবেলীয় গ্রুপ	1
Q188804 [CC \| ]	factorization	উৎপাদকে বিশ্লেষণ	1
Q124255 [CC \| ]	conic section	কনিক	1
Q3695508 [CC \| ]	vibration	কম্পন	1
Q68 [CC \| ]	computer	কম্পিউটার	1
Q944 [CC \| ]	quantum mechanics	কোয়ান্টাম বলবিজ্ঞান	1
Q44455 [CC \| ]	game theory	ক্রীড়া তত্ত্ব	1
Q11500 [CC \| ]	area	ক্ষেত্রফল	1
Q58413 [CC \| ]	Greek mathematics	গ্রিক গণিত	1
Q83478 [CC \| ]	group	গ্রুপ (গণিত)	1
Q184410 [CC \| ]	four color theorem	চার বর্ণ উপপাদ্য	1
Q187235 [CC \| ]	Riemann zeta function	জেটা ফাংশন	1
Q42989 [CC \| ]	topology	টপোগণিত	1
Q11473 [CC \| ]	thermodynamics	তাপগতিবিজ্ঞান	1
Q173091 [CC \| ]	transcendental number	তুরীয় সংখ্যা	1
Q8084 [CC \| ]	trigonometry	ত্রিকোণমিতি	1
Q36253 [CC \| ]	length	দৈর্ঘ্য	1
Q164399 [CC \| ]	capacitance	ধারকত্ব	1
Q6501221 [CC \| ]	control theory	নিয়ন্ত্রণ তত্ত্ব	1
Q178546 [CC \| ]	determinant	নির্ণায়ক	1
Q188715 [CC \| ]	statistical mechanics	পরিসংখ্যানিক বলবিজ্ঞান	1
Q167 [CC \| ]	pi	পাই	1
Q13058636 [CC \| ]	No label in en!	প্রতীকী যুক্তিবিজ্ঞান	1
Q6520159 [CC \| ]	Fourier transform	ফুরিয়ে রূপান্তর	1
Q41217 [CC \| ]	mechanics	বলবিজ্ঞান	1
Q43260 [CC \| ]	polynomial	বহুপদী	1
Q180969 [CC \| ]	algebraic geometry	বীজগাণিতিক জ্যামিতি	1
Q168817 [CC \| ]	algebraic number	বীজগাণিতিক সংখ্যা	1
Q1279571 [CC \| ]	Indian mathematics	ভারতীয় গণিত	1
Q43116 [CC \| ]	elementary particle	মৌলিক কণা	1
Q199691 [CC \| ]	Laplace transform	লাপ্লাস রূপান্তর	1
Q12479 [CC \| ]	number theory	সংখ্যাতত্ত্ব	1
Q202805 [CC \| ]	combination	সমাবেশ (গণিত)	1
Q714886 [CC \| ]	regular polygon	সুষম বহুভুজ	1
Q904423 [CC \| ]	axiomatic set theory	স্বতঃসিদ্ধমূলক সেট তত্ত্ব	1
Q190056 [CC \| ]	Hilbert space	হিলবার্ট জগৎ	1
Q109435418 [CC \| ]	No label in en!	Bằng	1
Q215071 [CC \| ]	supremum	Cận trên đúng	1
Q10769120 [CC \| ]	Hoàng Xuân Sính	Hoàng Xuân Sính	1
Q10770667 [CC \| ]	No label in en!	Hàm	1
Q5051849 [CC \| ]	category of relations	Phạm trù các quan hệ	1
Q1196892 [CC \| ]	greatest and least elements	Phần tử lớn nhất và phần tử nhỏ nhất	1
Q1475294 [CC \| ]	maximal and minimal elements	Phần tử tối đại và phần tử tối tiểu	1
Q10809949 [CC \| ]	No label in en!	Quan hệ	1
Q846677 [CC \| ]	remainder	Số dư	1
Q3773677 [CC \| ]	congruence of integers	Đồng dư	1
Q1152398 [CC \| ]	canonical form	Canonical form	1
Q1144925 [CC \| ]	currying	Currying	1
Q339072 [CC \| ]	database normalisation	Database normalisation	1
Q366090 [CC \| ]	Transitivity	Transitivity	1
Q183372 [CC \| ]	Alfred North Whitehead	Alfred North Whitehead	1
Q7754 [CC \| ]	mathematical analysis	Analyse (wiskunde)	1
Q5415354 [CC \| ]	No label in en!	Argument (wiskunde)	1
Q205084 [CC \| ]	computational complexity theory	Computationele complexiteitstheorie	1
Q154210 [CC \| ]	congruence	Congruentie (meetkunde)	1
Q22855 [CC \| ]	consumer	Consument	1
Q712144 [CC \| ]	de facto	De facto	1
Q42848 [CC \| ]	data	Gegeven	1
Q2914225 [CC \| ]	equinumerosity	Gelijkmachtigheid	1
Q36456 [CC \| ]	Hannibal	Hannibal Barkas	1
Q215111 [CC \| ]	homomorphism	Homomorfisme	1
Q201322 [CC \| ]	infix	Infix	1
Q210841 [CC \| ]	modal logic	Modale logica	1
Q830852 [CC \| ]	history of ancient Rome	Romeinse Rijk	1
Q278425 [CC \| ]	database table	Tabel (database)	1
Q1414271 [CC \| ]	weak ordering	Totale preorde	1
Q2566149 [CC \| ]	relational art	Relationell estetik	1
Q223642 [CC \| ]	interpersonal relationship	Social relation	1
Q2748142 [CC \| ]	abstract logic	Abstract logic	1
Q341810 [CC \| ]	Ackermann set theory	Ackermann set theory	1
Q353060 [CC \| ]	Addison-Wesley	Addison-Wesley	1
Q908627 [CC \| ]	aleph number	Aleph number	1
Q1005222 [CC \| ]	algebraic logic	Algebraic logic	1
Q837518 [CC \| ]	alphabet	Alphabet (formal languages)	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
Q737851 [CC \| ]	Banach–Tarski paradox	Banach–Tarski paradox	1
Q3737844 [CC \| ]	binary function	Binary function	1
Q4943350 [CC \| ]	Boolean algebras canonically defined	Boolean algebras canonically defined	1
Q3269980 [CC \| ]	Boolean domain	Boolean domain	1
Q17020770 [CC \| ]	Boolean-valued function	Boolean-valued function	1
Q729471 [CC \| ]	Cantor's diagonal argument	Cantor's diagonal argument	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
Q2518298 [CC \| ]	category of sets	Category of sets	1
Q1089708 [CC \| ]	Church encoding	Church encoding	1
Q1149458 [CC \| ]	compactness theorem	Compactness theorem	1
Q3508260 [CC \| ]	complete theory	Complete theory	1
Q5156948 [CC \| ]	comprehension	Comprehension (logic)	1
Q1148456 [CC \| ]	computable function	Computable function	1
Q877945 [CC \| ]	recursive set	Computable set	1
Q676835 [CC \| ]	recursively enumerable set	Computably enumerable set	1
Q1575634 [CC \| ]	concrete category	Concrete category	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
Q66707394 [CC \| ]	countable set	Countable set	1
Q430001 [CC \| ]	decidability	Decidability (logic)	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
Q2704791 [CC \| ]	enumeration	Enumeration	1
Q5384443 [CC \| ]	Equiconsistency	Equiconsistency	1
Q773483 [CC \| ]	existential quantification	Existential quantification	1
Q6498784 [CC \| ]	mathematical expression	Expression (mathematics)	1
Q1384998 [CC \| ]	extension	Extension (semantics)	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
Q1003009 [CC \| ]	formal logic	Formal logic	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
Q5508846 [CC \| ]	functional predicate	Functional predicate	1
Q1055058 [CC \| ]	fuzzy set	Fuzzy set	1
Q1465090 [CC \| ]	Grothendieck universe	Grothendieck universe	1
Q431411 [CC \| ]	ground expression	Ground expression	1
Q110765095 [CC \| ]	ground formula	Ground formula	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
Q54939316 [CC \| ]	heterogeneous relation	Heterogeneous relation	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
Q54938846 [CC \| ]	endorelation	Homogeneous relation	1
Q1331373 [CC \| ]	inaccessible cardinal	Inaccessible cardinal	1
Q55614449 [CC \| ]	Infinite-valued logic	Infinite-valued logic	1
Q6033616 [CC \| ]	inhabited set	Inhabited set	1
Q182003 [CC \| ]	injection	Injective function	1
Q1923256 [CC \| ]	intension	Intension	1
Q17101792 [CC \| ]	interpretation	Interpretation (model theory)	1
Q1701524 [CC \| ]	John Lucas	John Lucas (philosopher)	1
Q1456811 [CC \| ]	Kolmogorov complexity	Kolmogorov complexity	1
Q3526833 [CC \| ]	Kripke–Platek set theory	Kripke–Platek set theory	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
Q6626686 [CC \| ]	list of logic systems	List of Hilbert systems	1
Q3632199 [CC \| ]	list of axioms	List of axioms	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
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
Q220433 [CC \| ]	logical equivalence	Logical equivalence	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
Q7881229 [CC \| ]	logical implication	Material conditional	1
Q3301202 [CC \| ]	Maurice Nivat	Maurice Nivat	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
Q3490369 [CC \| ]	Morse–Kelley set theory	Morse–Kelley set theory	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
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
Q180536 [CC \| ]	philosophy of mathematics	Philosophy of mathematics	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
Q852732 [CC \| ]	proof theory	Proof theory	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
Q5965969 [CC \| ]	relation algebra	Relation algebra	1
Q930933 [CC \| ]	relation	Relations (philosophy)	1
Q2005236 [CC \| ]	reverse mathematics	Reverse mathematics	1
Q928884 [CC \| ]	Robinson arithmetic	Robinson arithmetic	1
Q7358572 [CC \| ]	Roger Maddux	Roger Maddux	1
Q2162753 [CC \| ]	Roland Fraïssé	Roland Fraïssé	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
Q2509500 [CC \| ]	sentence	Sentence (mathematical logic)	1
Q1771121 [CC \| ]	sequent calculus	Sequent calculus	1
Q741810 [CC \| ]	signature	Signature (logic)	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
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
Q229102 [CC \| ]	surjective function	Surjective function	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
Q7758358 [CC \| ]	The Principles of Mathematics	The Principles of Mathematics	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
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
Q1128796 [CC \| ]	uncountable set	Uncountable set	1
Q3502995 [CC \| ]	undecidable problem	Undecidable problem	1
Q7885264 [CC \| ]	Uninterpreted function	Uninterpreted function	1
Q2502253 [CC \| ]	uniqueness quantification	Uniqueness quantification	1
Q1378301 [CC \| ]	universal set	Universal set	1
Q597663 [CC \| ]	universe	Universe (mathematics)	1
Q50701 [CC \| ]	variable	Variable (mathematics)	1
Q77887 [CC \| ]	von Neumann universe	Von Neumann universe	1
Q655328 [CC \| ]	well-formed formula	Well-formed formula	1
Q290932 [CC \| ]	William Lawvere	William Lawvere	1
Q200975 [CC \| ]	Domain	Домен	1
Q1228746 [CC \| ]	clause	Cümle (mantık)	1
Q648266 [CC \| ]	Wayback Machine	Wayback Machine	1
Q959962 [CC \| ]	diagram	Diagrama	1
Q36602 [CC \| ]	order	Ordre	1
Q2138673 [CC \| ]	Regla	Regla	1
Q4201806 [CC \| ]	Hryhoriy Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine	Інститут філософії імені Григорія Сковороди НАН України	1
Q615599 [CC \| ]	Aristotelian logic	Арістотелева логіка	1
Q856579 [CC \| ]	Bibliothecal-Bibliographical classification	Бібліотечно-бібліографічна класифікація	1
Q12092998 [CC \| ]	No label in en!	Відповідність між множинами	1
Q1150675 [CC \| ]	computer-assisted proof	Доказові обчислення	1
Q1174982 [CC \| ]	set of real numbers	Континуум (теорія множин)	1
Q2373971 [CC \| ]	foundational crisis of mathematics	Криза основ математики	1
Q2440867 [CC \| ]	Mir Publishers	Мир (видавництво)	1
Q1948412 [CC \| ]	morphism	Морфізм	1
Q1806121 [CC \| ]	range of a function	Область значень	1
Q12139612 [CC \| ]	list	Перелік	1
Q12621536 [CC \| ]	judgment	Судження	1
Q191853 [CC \| ]	Zermelo set theory	Теорія множин Цермело	1
Q75856 [CC \| ]	Felix Hausdorff	Фелікс Гаусдорф	1
Q12171848 [CC \| ]	Vladimir Shinkaruk	Шинкарук Володимир Іларіонович	1
Q3590896 [CC \| ]	equipollence	Relacija ekvipolence	1
Q11985718 [CC \| ]	No label in en!	Extenzionální relace	1
Q12043095 [CC \| ]	No label in en!	Ostré uspořádání	1
Q254390 [CC \| ]	Similarity	Podobnost	1
Q11089258 [CC \| ]	No label in en!	Úzká relace	1
Q159943 [CC \| ]	abstract algebra	Abstrakta algebro	1
Q11697026 [CC \| ]	Equality	Egaleso	1
Q595523 [CC \| ]	notion	Nociono	1
Q41118 [CC \| ]	quotient	Дзель	1
Q4265891 [CC \| ]	Mikola Bajkoŭ	Мікола Байкоў	1
Q2011198 [CC \| ]	Ściapan Niekraševič	Сьцяпан Некрашэвіч	1
Q4973304 [CC \| ]	Boolean algebra	Булева алгебра	1
Q16942884 [CC \| ]	Albert Dragalin	Драгалин, Альберт Григорьевич	1
Q153224 [CC \| ]	Andrey Kolmogorov	Колмогоров, Андрей Николаевич	1
Q277521 [CC \| ]	relation	Отношение (реляционная модель)	1
Q208225 [CC \| ]	Pythagorean triple	Пифагорова тройка	1
Q7263849 [CC \| ]	Pythagorean quadruple	Пифагорова четвёрка	1
Q2631509 [CC \| ]	proportion	Пропорция (математика)	1
Q1636734 [CC \| ]	universal algebra	Универсальная алгебра	1
Q1130535 [CC \| ]	PlanetMath	PlanetMath	1
Q7387 [CC \| ]	property	性質	1
Q16184009 [CC \| ]	Istishab	استصحاب	1
Q179289 [CC \| ]	causality	السببية	1
Q6584985 [CC \| ]	al-Muqaddim	المقدم (أسماء الله الحسنى)	1
Q261155 [CC \| ]	consequent	تال (منطق)	1
Q20400835 [CC \| ]	No label in en!	تضايف	1
Q94703546 [CC \| ]	No label in en!	تعلق	1
Q12209857 [CC \| ]	No label in en!	خاصة (منطق)	1
Q19493553 [CC \| ]	Dustūr al-ʻulamāʼ	دستور العلماء	1
Q12212845 [CC \| ]	Rabita	رابطة (توضيح)	1
Q29514241 [CC \| ]	No label in en!	محسوس	1
Q31076082 [CC \| ]	No label in en!	معقول (توضيح)	1
Q3481047 [CC \| ]	ratio	نسبة (رياضيات)	1
Q13589808 [CC \| ]	domena	Domena	1
Q1110072 [CC \| ]	Classical Milanese orthography	Ortografia milanesa	1
Q5360810 [CC \| ]	Eligibility of international words in Interlingua	Derivation de parolas in interlingua	1
Q7026 [CC \| ]	Catalan	Lingua catalan	1
Q1321 [CC \| ]	Spanish	Lingua espaniol	1
Q150 [CC \| ]	French	Lingua francese	1
Q188 [CC \| ]	German	Lingua german	1
Q652 [CC \| ]	Italian	Lingua italian	1
Q5146 [CC \| ]	Portuguese	Lingua portugese	1
Q7913 [CC \| ]	Romanian	Lingua romanian	1
Q7737 [CC \| ]	Russian	Lingua russe	1
Q176165 [CC \| ]	database management system	Sistem manajemen basis data	1
Q2137023 [CC \| ]	Dover Publications	Dover Publications	1
Q217595 [CC \| ]	Oxford University Press	Oxford University Press	1
Q107223533 [CC \| ]	relation	Relación matemática	1
Q22908627 [CC \| ]	Semantic Scholar	Semantic Scholar	1
Q27816 [CC \| ]	University of California Press	University of California Press	1