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

Q649732 - formal system

Searching link targets on 34 Wikipedias...

Toggle existing labels

Item	Label [en]	Wikilabels	Link #
Q17736 [CC \| ]	axiom	Аксиома \| Axioma \| Axiom \| 公理 \| Aksiom \| مسلمة (فلسفة) \| Axiome \| Aicseam \| Aksjomat \| Aksioma \| Аксіома \| Αξίωμα \| 공리 \| اصل موضوع	27
Q65943 [CC \| ]	theorem	Teorema \| Теорема \| 定理 \| Teorem \| مبرهنة \| Theorem \| Théorème \| Θεώρημα \| Sætning (matematik) \| 정리 \| قضیه \| Teoremo	21
Q8078 [CC \| ]	logic	Logik \| Логика \| Lógica \| Lògica \| Logic \| 論理学 \| Logica \| Logjika \| Λογική \| منطق	18
Q192161 [CC \| ]	formal language	Llenguatge formal \| Formale Sprache \| Formal language \| Lenguaje formal \| 形式言語 \| Формален јазик \| Formele taal \| Linguagem formal \| Gjuha formale \| Формални језик \| Formellt språk \| Формальна мова \| 形式语言 \| Τυπική γλώσσα \| 형식 언어	15
Q395 [CC \| ]	mathematics	Mathematik \| Математика \| رياضيات \| Matemàtiques \| Mathematics \| Mathématiques \| 数学 \| Wiskunde \| Matemática \| Matematika \| Matematik \| 數學	14
Q1166618 [CC \| ]	mathematical logic	Lógica matemática \| منطق رياضي \| Lògica matemàtica \| Mathematical logic \| Logique mathématique \| Logica matematica \| 数理論理学 \| Математичка логика \| Математическая логика \| Matematisk logik \| Математична логіка \| Математикалық логика \| منطق ریاضی	14
Q200694 [CC \| ]	propositional calculus	حساب القضايا \| Propositional calculus \| Lógica proposicional \| 命題論理 \| Propositielogica \| Rachunek zdań \| Логика высказываний \| Исказни рачун \| Satslogik \| Числення висловлень \| 命题逻辑 \| Каланăлăхсен шутлавĕ \| حساب گزاره‌ای	13
Q41585 [CC \| ]	David Hilbert	David Hilbert \| ديفيد هيلبرت \| ダフィット・ヒルベルト \| Давид Хилберт \| داویت هیلبرت	13
Q1068763 [CC \| ]	rule of inference	Regla d'inferència \| Rule of inference \| Regla de inferencia \| 推論規則 \| Afleidingsregel \| Regra de inferência \| Правило вывода \| Slutledningsregel \| Правило висновування \| 推理规则 \| Συμπερασματικός κανόνας \| 추론 규칙	12
Q36161 [CC \| ]	set	Множество \| مجموعة (رياضيات) \| Set (mathematics) \| Seata \| 集合 \| Verzameling (wiskunde) \| Zbiór \| Conjunto \| Множина \| Σύνολο	11
Q12482 [CC \| ]	set theory	نظرية المجموعات \| Set theory \| Théorie des ensembles \| 集合論 \| Теорија на множествата \| Teoria dos conjuntos \| Теория множеств \| Mängdteori \| Теорія множин \| Йышсен теорийĕ \| نظریه مجموعه‌ها	11
Q200787 [CC \| ]	Gödel's incompleteness theorems	مبرهنات عدم الاكتمال لغودل \| Teorema d'incompletesa de Gödel \| Gödel's incompleteness theorems \| Teoremas de incompletitud de Gödel \| ゲーデルの不完全性定理 \| Teoremas da incompletude de Gödel \| Теоремы Гёделя о неполноте \| Теореми Геделя про неповноту \| Gödels ufuldstændighedssætning \| قضایای ناتمامیت گودل	10
Q4055684 [CC \| ]	first-order logic	منطق الرتبة الأولى \| First-order logic \| Lógica de primer orden \| Calcul des prédicats \| Teoria del primo ordine \| 一階述語論理 \| Lógica de primeira ordem \| Логика первого порядка \| Första ordningens logik \| Логіка першого порядку	10
Q467606 [CC \| ]	model theory	نظرية النموذج \| Model theory \| Teoría de modelos \| Théorie des modèles \| モデル理論 \| Teoria dos modelos \| Теория моделей \| Modellteori \| Теорія моделей \| نظریه مدل	10
Q210841 [CC \| ]	modal logic	منطق موجهات \| Lógica modal \| Modális logika \| Modal logic \| Modale logica \| Модальная логика \| Modallogik	9
Q41390 [CC \| ]	Kurt Gödel	Kurt Gödel \| كورت غودل \| クルト・ゲーデル \| Курт Гедел \| کورت گودل	9
Q193983 [CC \| ]	metalanguage	لغة معرفة \| Metallenguatge \| Metalanguage \| Metalenguaje \| メタ言語 \| Метајазик \| Metataal \| Metalinguagem \| 元語言	9
Q8091 [CC \| ]	grammar	Граматика \| Gramàtica \| Gràmar \| 文法 \| Grammatica \| Gramática \| Gramatika \| Γραμματική	9
Q33760 [CC \| ]	Bertrand Russell	Bertrand Russell \| بيرتراند راسل \| バートランド・ラッセル \| Бертранд Расел \| Рассел, Бертран \| Бертран Расселл \| برتراند راسل	8
Q186619 [CC \| ]	argument	Аргумент \| حجة (منطق) \| Argument \| 論証 \| Логички аргумент \| Argumento \| برهان (منطق)	8
Q108163 [CC \| ]	proposition	命題 \| قضية (فلسفة) \| Proposition \| Proposição \| Påstående \| Ойтүйін \| گزاره (منطق)	8
Q107342 [CC \| ]	syllogism	Syllogism \| قياس (منطق) \| 三段論法 \| Силогизам \| Silogismo \| Силогізм \| قیاس	8
Q185521 [CC \| ]	truth value	قيمة صواب \| Truth value \| Valor de verdad \| 真理値 \| Waarheidswaarde \| Valor de verdade \| Sanningsvärde \| Значення істинності	8
Q1548746 [CC \| ]	second-order logic	منطق الرتبة الثانية \| Second-order logic \| Lógica de segundo orden \| 二階述語論理 \| Lógica de segunda ordem \| Логика второго порядка \| Andra ordningens logik \| Логіка другого порядку	8
Q224821 [CC \| ]	fuzzy logic	Lógica difusa \| منطق ضبابي \| ファジィ論理 \| Логика на непрецизноста \| Нечёткая логика \| Suddig logik \| منطق فازی	8
Q852732 [CC \| ]	proof theory	نظرية البرهان \| Proof theory \| Teoría de la demostración \| 証明論 \| Teoria da prova \| Теория доказательств \| Bevisteori \| نظریه برهان	8
Q92741 [CC \| ]	Alonzo Church	Alonzo Church \| Алонзо Черч \| アロンゾ・チャーチ \| Чёрч, Алонзо \| آلونزو چرچ	8
Q236975 [CC \| ]	classical logic	Classical logic \| Lógica clásica \| 古典論理 \| Lógica clássica \| Классическая логика \| Klassisk logik \| Класична логіка \| منطق کلاسیک	8
Q134661 [CC \| ]	George Boole	George Boole \| جورج بول \| ジョージ・ブール \| Џорџ Бул \| جرج بول	7
Q39645 [CC \| ]	semantics	Semantik \| Szemantika \| Semantica \| Semantiek \| Semântica \| Семантика	7
Q408386 [CC \| ]	inference	استدلال (بحث علمي) \| Inference \| 推論 \| Inferência \| Вывод (рассуждение) \| Висновок \| Тұжырымдау	7
Q219079 [CC \| ]	truth table	جدول الحقيقة \| Truth table \| 真理値表 \| Таблица на вистинитост \| Sanningsvärdetabell \| Таблиці істинності \| جدول ارزش	7
Q942353 [CC \| ]	Boolean function	دالة بول \| Boolean function \| ブール関数 \| Булова функција \| Função booliana \| Булева функція \| تابع بولی	7
Q1366730 [CC \| ]	metalogic	Metalógica \| ما بعد المنطق \| メタ論理学 \| Metalogik \| Металогика \| فرامنطق	7
Q272404 [CC \| ]	finite set	مجموعة منتهية \| Finite set \| 有限集合 \| Eindige verzameling \| Conjunto finito \| Конечное множество \| Скінченна множина	7
Q491412 [CC \| ]	philosophical logic	Lógica filosófica \| منطق فلسفي \| 哲学的論理学 \| Философская логика \| Filosofisk logik \| منطق فلسفی	7
Q37437 [CC \| ]	syntax	Syntax \| 統語論 \| Sintaxe \| Синтаксис \| Syntaks	7
Q792542 [CC \| ]	axiomatic system	Sistema axiomático \| Axiomatic system \| Sistema assiomatico \| Axiomatische methode \| Аксиоматски систем \| Аксіоматика	7
Q877945 [CC \| ]	recursive set	Computable set \| Ensemble récursif \| Insieme ricorsivo \| 帰納的集合 \| Conjunto recursivo \| Рекурзиван скуп \| Αναδρομικό σύνολο	7
Q484284 [CC \| ]	deductive reasoning	Deductive reasoning \| 演繹 \| Дедукција \| Дедуктивное умозаключение \| Deduktion \| Дедуктивті пайымдау \| استدلال استنتاجی	7
Q903508 [CC \| ]	metamathematics	Metamatemática \| Metamathematics \| 超数学 \| Metawiskunde \| Metamatematyka \| 元数学	7
Q35148 [CC \| ]	predicate logic	Predicate logic \| 述語論理 \| Предикатна логика \| Predicatenlogica \| Lógica de predicados \| Predikatlogik \| Логіка предикатів	7
Q963731 [CC \| ]	semantics of logic	Semantics of logic \| Semántica formal \| 形式意味論 \| Formele semantiek \| Semântica formal (lógica) \| Логическая семантика \| Семантика логіки	7
Q80071 [CC \| ]	symbol	Симбол \| Simbolo \| Symbool \| Symbol \| Simboli \| Σύμβολο	7
Q173183 [CC \| ]	boolean algebra	Boole-algebra (informatika) \| جبر بول \| Boolean algebra \| Алгебра логики \| Boolesk algebra \| Алгебра логіки	6
Q868 [CC \| ]	Aristotle	أرسطو \| アリストテレス \| Аристотел \| Aristóteles \| Аристотель \| ارسطو	6
Q374182 [CC \| ]	logical consequence	استتباع منطقي \| Logical consequence \| Consecuencia lógica \| 論理的帰結 \| Умозаключение \| Умовивід	6
Q484511 [CC \| ]	inductive reasoning	استقراء (منطق) \| 帰納 \| Método indutivo \| Индуктивное умозаключение \| Induktion (filosofi) \| Индуктивті пайымдау	6
Q843894 [CC \| ]	critical thinking	تفكير نقدي \| 批判的思考 \| Критичко размислување \| Pensamento crítico \| Критическое мышление \| Сыни ойлау	6
Q242028 [CC \| ]	lambda calculus	تكامل لامدا \| Lambda calculus \| Lambda-calcul \| ラムダ計算 \| Лямбда-исчисление \| Лямбда-числення	6
Q60028 [CC \| ]	Gottlob Frege	Gottlob Frege \| جوتلوب فريجه \| ゴットロープ・フレーゲ \| Готлоб Фреге \| گوتلوب فرگه	6
Q211790 [CC \| ]	logical connective	رابطة منطقية \| Logical connective \| 論理演算 \| Логичка операција \| Conectivo lógico \| Логічний сполучник	6
Q76519 [CC \| ]	Rudolf Carnap	Рудолф Карнап \| رودولف كارناب \| ルドルフ・カルナップ \| Rudolf Carnap \| رودلف کارناپ	6
Q1047000 [CC \| ]	validity	صحة (المنطق) \| Validity (logic) \| 妥当性 \| Validade \| Общезначимость \| Чинність	6
Q180536 [CC \| ]	philosophy of mathematics	فلسفة الرياضيات \| Philosophy of mathematics \| 数学の哲学 \| Филозофија на математиката \| Filosofie van de wiskunde \| Filosofia da matemática	6
Q177646 [CC \| ]	subset	مجموعة جزئية \| Teilmenge \| 部分集合 \| Podzbiór \| Subconjunto \| Підмножина	6
Q58778 [CC \| ]	system	نظام (علوم) \| System \| Sistema \| Système \| システム \| سامانه	6
Q17737 [CC \| ]	theory	Теория \| نظرية \| Theory \| Теорія \| Теори	6
Q1056428 [CC \| ]	type theory	نظرية النمط \| Type theory \| 型理論 \| Teoria dos tipos \| Теорія типів \| نظریه نوع‌ها	6
Q373045 [CC \| ]	formal grammar	Gramàtica formal \| Formale Grammatik \| Formal grammar \| 形式文法 \| Formele grammatica \| Gramática formal	6
Q1433067 [CC \| ]	formalism	Формализм (математика) \| Formalism (philosophy of mathematics) \| Formalismo matemático \| 形式主義 (数学) \| Формалізм (математика)	6
Q2395230 [CC \| ]	syntax	Syntax (logic) \| Синтакса (логика) \| Sintaxe (lógica) \| Синтаксис (логика) \| Логикалық синтаксис \| نحو (منطق)	6
Q7949 [CC \| ]	truth	Truth \| 真理 \| Verdade \| Истина \| Sanning \| Sandhed	6
Q833585 [CC \| ]	foundations of mathematics	أسس الرياضيات \| Foundations of mathematics \| 数学基礎論 \| Fundamentos da matemática \| 수학기초론	5
Q309157 [CC \| ]	Church-Turing thesis	أطروحة تشرش-تورينغ \| Church–Turing thesis \| チャーチ＝チューリングのテーゼ \| Tese de Church-Turing \| Теза Черча — Тюрінга	5
Q207534 [CC \| ]	Alfred Tarski	ألفريد تارسكي \| アルフレト・タルスキ \| Алфред Тарски \| Alfred Tarski \| آلفرد تارسکی	5
Q174808 [CC \| ]	Edward Norton Lorenz	إدوارد نورتون لورنتز \| Edward Norton Lorenz \| Edward Lorenz \| エドワード・ローレンツ \| ادوارد لورنتس	5
Q183509 [CC \| ]	Ilya Prigogine	Ilya Prigogine \| إيليا بريغوجين \| イリヤ・プリゴジン \| ایلیا پریگوژین	5
Q468620 [CC \| ]	history of logic	تاريخ المنطق \| History of logic \| 論理学の歴史 \| História da lógica \| История логики	5
Q203913 [CC \| ]	Talcott Parsons	Talcott Parsons \| تالكوت بارسونز \| タルコット・パーソンズ \| تالکوت پارسونز	5
Q92763 [CC \| ]	Jay Wright Forrester	Jay Wright Forrester \| جاي رايت فوريستر \| ジェイ・フォレスター \| جی فارستر	5
Q314252 [CC \| ]	Gregory Bateson	Gregory Bateson \| جريجوري بيتسون \| グレゴリー・ベイトソン \| گرگوری بیتسون	5
Q337040 [CC \| ]	George Bernard Dantzig	George Dantzig \| جورج دانتزغ \| ジョージ・ダンツィーグ \| جرج دانتزیگ	5
Q11348 [CC \| ]	function	دالة \| Function (mathematics) \| 関数 (数学) \| Função (matemática) \| Функція (математика)	5
Q59090 [CC \| ]	bra–ket notation	رمز براكيت \| Bra–ket notation \| ブラ-ケット記法 \| Notação Bra-ket \| 狄拉克符号	5
Q441199 [CC \| ]	Richard E. Bellman	ريتشارد بيلمان \| Richard E. Bellman \| Richard Bellman \| リチャード・E・ベルマン \| ریچارد بلمن	5
Q179976 [CC \| ]	recursion	عودية \| Recursion \| 再帰 \| Recursie \| Рекурсія	5
Q76420 [CC \| ]	Georg Cantor	غيورغ كانتور \| ゲオルク・カントール \| Георг Кантор \| Georg Cantor \| گئورگ کانتور	5
Q92760 [CC \| ]	Claude Shannon	Claude Shannon \| كلود شانون \| クロード・シャノン \| کلود شانون	5
Q84345 [CC \| ]	Ludwig von Bertalanffy	Ludwig von Bertalanffy \| لودفيج فون بيرتالانفي \| ルートヴィヒ・フォン・ベルタランフィ \| لودویگ ون برتلنفی	5
Q180099 [CC \| ]	Margaret Mead	Margaret Mead \| مارغريت ميد \| マーガレット・ミード \| مارگارت مید	5
Q226183 [CC \| ]	empty set	مجموعة خالية \| Empty set \| 空集合 \| Conjunto vazio \| Порожня множина	5
Q190763 [CC \| ]	Venn diagram	مخطط فن \| Venn diagram \| ベン図 \| Diagrama de Venn \| Діаграма Венна	5
Q186150 [CC \| ]	fallacy	مغالطة \| 誤謬 \| Логичка грешка \| Falácia \| مغالطه	5
Q483372 [CC \| ]	paradox	مفارقة \| パラドックス \| Paradoxo \| Парадокс \| پارادوکس	5
Q273005 [CC \| ]	economic system	نظام اقتصادي \| Economic system \| Système économique \| 経済体系 \| نظام اقتصادی	5
Q854457 [CC \| ]	complex system	نظام معقد \| Complex system \| Système complexe \| 複雑系 \| سامانه پیچیده	5
Q6501221 [CC \| ]	control theory	نظرية التحكم \| Control theory \| Théorie du contrôle \| 制御理論 \| نظریه کنترل	5
Q178577 [CC \| ]	Norbert Wiener	Norbert Wiener \| نوربرت فينر \| ノーバート・ウィーナー \| نوربرت وینر	5
Q57238 [CC \| ]	Niklas Luhmann	Niklas Luhmann \| نيكلاس لوهمان \| ニクラス・ルーマン \| نیکلاس لومان	5
Q682496 [CC \| ]	systems engineering	هندسة أنظمة \| Systems engineering \| Ingénierie des systèmes \| システム工学 \| مهندسی سامانه‌ها	5
Q319308 [CC \| ]	Douglas Hofstadtesr	Douglas Hofstadter \| Douglas R. Hofstadter \| ダグラス・ホフスタッター	5
Q21198 [CC \| ]	computer science	Informatik \| Информатика \| Ciência da computação \| Datalogi	5
Q837518 [CC \| ]	alphabet	Alphabet (formal languages) \| アルファベット (計算機科学) \| Азбука (информатика) \| Alfabeto (ciência da computação) \| Αλφάβητο (μαθηματικά)	5
Q1319773 [CC \| ]	consistency	Consistency \| Consistencia (lógica) \| Cohérence (logique) \| Consistência \| Непротиворечивость	5
Q430001 [CC \| ]	decidability	Decidability (logic) \| Decidibilidad \| 決定可能性 \| Rozstrzygalność \| Decidibilidade	5
Q3322159 [CC \| ]	deductive system	Deductive system \| Sistema deductivo \| Deductief systeem \| Sistema dedutivo \| Συμπερασματικό σύστημα	5
Q3311695 [CC \| ]	logical truth	Logical truth \| Verdad lógica \| 論理的真理 \| Verdade lógica \| Ақиқаттылық мән	5
Q11538 [CC \| ]	mathematical proof	Mathematical proof \| Demostración matemática \| Dimostrazione matematica \| 証明 (数学) \| Дәлелдеу	5
Q184754 [CC \| ]	string	String (computer science) \| Низа (информатика) \| Cadeia de caracteres \| Ниска \| Συμβολοσειρά	5
Q655328 [CC \| ]	well-formed formula	Well-formed formula \| Fórmula bien formada \| Formula ben formata \| Fórmula bem formada \| 合式公式	5
Q101072 [CC \| ]	definition	Definición \| 定義 \| Definição \| Определение (логика) \| Definition	5
Q302542 [CC \| ]	deontic logic	Lógica deóntica \| 義務論理 \| Lógica deôntica \| Деонтическая логика \| Deontisk logik	5
Q426592 [CC \| ]	paraconsistent logic	Lógica paraconsistente \| 矛盾許容論理 \| Паранепротиворечивая логика \| Parakonsistent logik	5
Q176630 [CC \| ]	relevance logic	Lógica relevante \| 適切さの論理 \| Релевантная логика \| Relevanslogik \| منطق ربط	5
Q183372 [CC \| ]	Alfred North Whitehead	Alfred North Whitehead \| アルフレッド・ノース・ホワイトヘッド \| Уайтхед, Альфред Норт \| Альфред Норт Вайтгед	5
Q5891 [CC \| ]	philosophy	哲学 \| Философия \| Filosofia \| Փիլիսոփայություն \| Filosofi	5
Q321703 [CC \| ]	premise	Premissza \| Premissa \| Посылка (логика) \| Premiss	4
Q7251 [CC \| ]	Alan Turing	آلان تورنغ \| アラン・チューリング \| Alan Turing \| آلن تورینگ	4
Q487453 [CC \| ]	Anatol Rapoport	Anatol Rapoport \| أناتول رابوبورت \| アナトール・ラパポート	4
Q2617516 [CC \| ]	systems neuroscience	أنظمة العلوم العصبية \| Systems neuroscience \| Neurosciences des systèmes \| システム神経科学	4
Q8556 [CC \| ]	Edsger W. Dijkstra	أيدسكر دايكسترا \| Edsger W. Dijkstra \| Edsger Dijkstra \| ادسخر دیکسترا	4
Q62527 [CC \| ]	negative feedback	ارتجاع سلبي \| Negative feedback \| Contre-réaction \| ネガティブフィードバック機構	4
Q968548 [CC \| ]	Hilbert's program	برنامج هيلبرت \| Hilbert's program \| Programa de Hilbert \| برنامه هیلبرت	4
Q2762418 [CC \| ]	formal proof	برهان فلسفي \| Formal proof \| Formeel bewijs \| Доказ (логіка)	4
Q679871 [CC \| ]	systems analysis	تحليل النظم \| Systems analysis \| Analyse systémique \| システム解析	4
Q2704791 [CC \| ]	enumeration	تعداد \| Enumeration \| 数え上げ \| Enumeração	4
Q9404 [CC \| ]	nervous system	جهاز عصبي \| Nervous system \| Système nerveux \| 神経系	4
Q191029 [CC \| ]	Giuseppe Peano	جوزيبه بيانو \| ジュゼッペ・ペアノ \| Giuseppe Peano \| جوزپه پئانو	4
Q1148456 [CC \| ]	computable function	دالة قابلة للحساب \| Computable function \| 計算可能関数 \| Função computável	4
Q598451 [CC \| ]	system dynamics	ديناميكيات النظام \| System dynamics \| Dynamique des systèmes \| システムダイナミクス	4
Q1431186 [CC \| ]	Russell L. Ackoff	Russell L. Ackoff \| راسل أكوف \| راسل لینکلن اکاف	4
Q191290 [CC \| ]	ordered pair	زوج مرتب \| 順序対 \| Par ordenado \| Впорядкована пара	4
Q123637 [CC \| ]	cybernetics	سيبرنيطيقا \| Cybernetics \| Cybernétique \| サイバネティックス	4
Q118455746 [CC \| ]	authority control	ضبط استنادي \| Control de autoridades \| کنترل از طریق مرجع \| Normativ yoxlama	4
Q2036718 [CC \| ]	limiting factor	عامل محدد \| Limiting factor \| Facteur limitant \| 制限要因	4
Q2167061 [CC \| ]	systems science	علم الأنظمة \| Systems science \| システム科学 \| علوم سامانه‌ها	4
Q923582 [CC \| ]	Francisco Varela	Francisco Varela \| فرانسيسكو فاريلا \| フランシスコ・バレーラ	4
Q2476757 [CC \| ]	philosophy of logic	فلسفة المنطق \| 論理学の哲学 \| Философия логики \| فلسفه منطق	4
Q505520 [CC \| ]	Kenneth E. Boulding	Kenneth E. Boulding \| كينيث بولدينج \| ケネス・E・ボールディング	4
Q66707394 [CC \| ]	countable set	مجموعة قابلة للعد \| Countable set \| Insieme numerabile \| Conjunto contável	4
Q676835 [CC \| ]	recursively enumerable set	مجموعة مرقمة بشكل تراجعي \| Computably enumerable set \| Récursivement énumérable \| 帰納的可算集合	4
Q1144319 [CC \| ]	predicate	محمول (منطق) \| Predicate (mathematical logic) \| Predicado (lógica matemática) \| Предикат	4
Q192439 [CC \| ]	domain of a function	منطلق دالة \| Domain of a function \| 定義域 \| Область визначення	4
Q37813 [CC \| ]	ecosystem	نظام بيئي \| Ecosystem \| Écosystème \| 生態系	4
Q28108 [CC \| ]	political system	نظام سياسي \| Système politique \| 政治システム \| نظام سیاسی	4
Q529909 [CC \| ]	multi-agent system	نظام متعدد الوكلاء \| Multi-agent system \| Système multi-agents \| マルチエージェントシステム	4
Q269699 [CC \| ]	systems theory	نظرية الأنظمة \| Systems theory \| 一般システム理論 \| نظریه سامانه‌ها	4
Q166314 [CC \| ]	chaos theory	نظرية فوضى الكون \| Théorie du chaos \| カオス理論 \| نظریه آشوب	4
Q121182 [CC \| ]	information system	نظم معلومات \| Système d'information \| 情報システム \| سامانه اطلاعاتی	4
Q376452 [CC \| ]	Humberto Maturana	Humberto Maturana \| هامبرتو ماتورانا \| ウンベルト・マトゥラーナ	4
Q979486 [CC \| ]	Howard T. Odum	Howard T. Odum \| هوارد أودوم \| هوارد تی. اودم	4
Q221697 [CC \| ]	Hilary Putnam	هيلاري بوتنام \| ヒラリー・パトナム \| Hilary Putnam \| هیلاری پاتنم	4
Q648266 [CC \| ]	Wayback Machine	Wayback Machine \| واي باك مشين	4
Q8366 [CC \| ]	algorithm	Algorisme \| Algorithme \| Algoritmo \| Algoritme	4
Q3262192 [CC \| ]	decision problem	Problema de decisió \| Decision problem \| 決定問題 \| Problema de decisão	4
Q831517 [CC \| ]	Gödel, Escher, Bach	Gödel, Escher, Bach \| ゲーデル、エッシャー、バッハ	4
Q8162 [CC \| ]	linguistics	Sprachwissenschaft \| Linguistics \| Лингвистика \| Linguística	4
Q792536 [CC \| ]	axiom schema	Axiom schema \| 公理型 \| Схема аксиом \| Аксіомна схема	4
Q217594 [CC \| ]	class	Class (set theory) \| クラス (集合論) \| Classe (teoria dos conjuntos) \| Клас (теорія множин)	4
Q15846555 [CC \| ]	completeness	Completeness (logic) \| 完全性 \| Completude (lógica) \| Fullständighet (logik)	4
Q818930 [CC \| ]	computability theory	Computability theory \| Teoria da computabilidade \| Теория вычислимости \| Теорія обчислюваності	4
Q379825 [CC \| ]	element	Element (mathematics) \| 元 (数学) \| Elemento (matemática) \| Елемент (математика)	4
Q816264 [CC \| ]	formal science	Formal science \| 形式科学 \| Ciências formais \| علوم صوری	4
Q902052 [CC \| ]	Gödel's completeness theorem	Gödel's completeness theorem \| Teorema de completitud de Gödel \| ゲーデルの完全性定理 \| Teorema da completude de Gödel	4
Q2705017 [CC \| ]	independence	Independence (mathematical logic) \| Independência (lógica matemática) \| Независимость системы аксиом \| Незалежність системи аксіом	4
Q523607 [CC \| ]	interpretation	Interpretation (logic) \| Interpretatie (logica) \| Interpretação (lógica) \| Інтерпретація (логіка)	4
Q6667497 [CC \| ]	logical form	Logical form \| Forma lógica \| Логическая форма \| Логикалық формалар	4
Q185502 [CC \| ]	many-valued logic	Many-valued logic \| Lógica plurivalente \| Многозначная логика \| Flervärd logik	4
Q7881229 [CC \| ]	logical implication	Импликация \| Material conditional \| 論理包含	4
Q1572108 [CC \| ]	natural deduction	Natural deduction \| 自然演繹 \| Dedução natural \| Натуральный вывод	4
Q47480 [CC \| ]	Paul Dirac	Paul Dirac \| ポール・ディラック \| 保罗·狄拉克	4
Q842755 [CC \| ]	Peano axioms	Peano axioms \| Аксиомы Пеано \| Аксіоми Пеано \| Формаллĕ арифметика	4
Q205170 [CC \| ]	power set	Power set \| 冪集合 \| Conjunto de partes \| Булеан	4
Q1570472 [CC \| ]	primitive recursive function	Primitive recursive function \| 原始再帰関数 \| Função recursiva primitiva \| Рекурсивні функції	4
Q693083 [CC \| ]	soundness	Soundness \| 健全性 \| Correção \| درستی (منطق)	4
Q10859910 [CC \| ]	theory	Theory (mathematical logic) \| Teoría (lógica) \| Teoria (logika) \| Teoria (lógica matemática)	4
Q976981 [CC \| ]	formula	Fórmula (expresión) \| Математическая формула \| Formel \| Формула	4
Q33057 [CC \| ]	International Standard Book Number	ISBN \| Međunarodni standardni broj knjige \| Internationalt Standardbognummer \| شماره استاندارد بین‌المللی کتاب	4
Q239179 [CC \| ]	non-classical logic	Lógica no clásica \| 非古典論理 \| Lógica não clássica \| Неклассическая логика	4
Q781833 [CC \| ]	temporal logic	Lógica temporal \| 時相論理 \| Темпоральная логика	4
Q9779 [CC \| ]	alphabet	Aibidil \| Alfabet \| Алфавит \| Alfabeti	4
Q8747 [CC \| ]	Euclid	Евклид \| エウクレイデス \| Էվկլիդես	4
Q262759 [CC \| ]	antinomy	Антиномия \| 二律背反 \| Antinomia	4
Q9492 [CC \| ]	probability	確率 \| Probabilidade \| Вероятность \| Ықтималдық	4
Q1506807 [CC \| ]	informal logic	非形式論理学 \| Lógica informal \| Неформальная логика \| Бейформал логика	4
Q8087 [CC \| ]	geometry	Геометрия \| Геометрія \| Երկրաչափություն	4
Q335142 [CC \| ]	Alexander Bogdanov	ألكسندر بوجدانوف \| Alexander Bogdanov \| Alexandre Bogdanov	3
Q918004 [CC \| ]	positive feedback	ارتجاع إيجابي \| Positive feedback \| ポジティブフィードバック	3
Q179692 [CC \| ]	axiom of choice	بديهية الاختيار \| Axiom of choice \| Аксіома вибору	3
Q435801 [CC \| ]	Peter Senge	Peter Senge \| بيتر سينجي	3
Q673661 [CC \| ]	abstraction	تجريد \| 抽象化 \| Abstração	3
Q187520 [CC \| ]	Charles Sanders Peirce	تشارلز ساندرز برس \| チャールズ・サンダース・パース \| Charles Sanders Peirce	3
Q959763 [CC \| ]	C. West Churchman	C. West Churchman \| تشارلز ويست تشيرشمان	3
Q333500 [CC \| ]	Qian Xuesen	Qian Xuesen \| تشيان شيويه سن	3
Q23852 [CC \| ]	human body	جسم الإنسان \| Corps humain \| 人体	3
Q11101 [CC \| ]	sensory nervous system	جهاز إحساس \| 感覚器 \| دستگاه حسی	3
Q3403379 [CC \| ]	George Klir	جورج كلير \| George Klir \| جرج کلر	3
Q271226 [CC \| ]	Donella Meadows	Donella Meadows \| دونيلا ميدوز	3
Q3046459 [CC \| ]	Earth system science	علوم نظام الأرض \| Earth system science \| Science du système Terre	3
Q164307 [CC \| ]	binary operation	عملية ثنائية \| Binary operation \| Бінарна операція	3
Q3235413 [CC \| ]	list of logic symbols	قائمة الرموز المنطقية \| Lista de símbolos lógicos \| Список логических символов	3
Q2509345 [CC \| ]	list of paradoxes	قائمة المفارقات \| Lista de paradoxos \| فهرست پارادوکس‌ها	3
Q380459 [CC \| ]	Kevin Warwick	Kevin Warwick \| كيفن وارويك	3
Q452158 [CC \| ]	Mary Cartwright	Mary Cartwright \| ماري كارترايت	3
Q1128796 [CC \| ]	uncountable set	مجموعة غير قابلة للعد \| Uncountable set \| 非可算集合	3
Q205140 [CC \| ]	infinite set	مجموعة غير منتهية \| Infinite set \| Нескінченна множина	3
Q638328 [CC \| ]	dynamical system	نظام تحريكي \| Système dynamique \| 力学系	3
Q9135 [CC \| ]	operating system	نظام تشغيل \| Système d'exploitation \| オペレーティングシステム	3
Q206717 [CC \| ]	planetary system	نظام كوكبي \| Système planétaire \| 惑星系	3
Q581233 [CC \| ]	complex adaptive system	نظام متوائم معقد \| Système complexe adaptatif \| 複雑適応系	3
Q595871 [CC \| ]	star system	نظام نجمي \| Système stellaire \| 恒星系	3
Q932268 [CC \| ]	system of units	نظام وحدات \| 単位系 \| سامانه‌های اندازه‌گیری	3
Q903783 [CC \| ]	naive set theory	نظرية المجموعات المبسطة \| Naive set theory \| Наївна теорія множин	3
Q191849 [CC \| ]	Zermelo–Fraenkel set theory	نظرية المجموعات حسب تسيرميلو-فرانكل \| Zermelo–Fraenkel set theory \| Теорія множин Цермело — Френкеля	3
Q1061896 [CC \| ]	world-systems theory	نظرية المنظومات العالمية \| World-systems theory \| Système-monde	3
Q3508260 [CC \| ]	complete theory	نظرية كاملة \| Complete theory \| Полная теория	3
Q78688 [CC \| ]	Heinz von Foerster	Heinz von Foerster \| هاينز فون فورستر	3
Q2013 [CC \| ]	Wikidata	ويكي بيانات \| Wikidata \| ویکی‌داده	3
Q2627911 [CC \| ]	logical formula	Fórmula (lògica) \| 論理式 (数学) \| Fórmula (lógica)	3
Q131222 [CC \| ]	information theory	Teoria de la informació \| Information theory \| Teoría de la información	3
Q203066 [CC \| ]	relation	Relation (Mathematik) \| Finitary relation \| Відношення	3
Q208448 [CC \| ]	Augustus De Morgan	Augustus De Morgan \| オーガスタス・ド・モルガン	3
Q34394 [CC \| ]	belief	Belief \| 信念 \| Crença	3
Q474881 [CC \| ]	Cantor's theorem	Cantor's theorem \| カントールの定理 \| Teorema de Cantor	3
Q1424376 [CC \| ]	doubling time	Doubling time \| Temps de doublement \| 倍加時間	3
Q172891 [CC \| ]	Elements	Euclid's Elements \| ユークリッド原論 \| Os Elementos	3
Q1049183 [CC \| ]	formal methods	Formal methods \| Méthode formelle (informatique) \| 形式手法	3
Q3005945 [CC \| ]	formation rule	Formation rule \| 構成規則 \| Regra de formação	3
Q935944 [CC \| ]	free and bound variables	Free variables and bound variables \| 自由変数と束縛変数 \| Variáveis livres e ligadas	3
Q1055058 [CC \| ]	fuzzy set	Fuzzy set \| ファジィ集合 \| Conjunto difuso	3
Q1644136 [CC \| ]	higher-order logic	Higher-order logic \| 高階述語論理 \| Логика высшего порядка	3
Q845691 [CC \| ]	logicism	Logicism \| 論理主義 (数学) \| Logicismo	3
Q1068283 [CC \| ]	Löwenheim–Skolem theorem	Löwenheim–Skolem theorem \| Teorema de Löwenheim-Skolem \| Teorema de Löwenheim–Skolem	3
Q2384512 [CC \| ]	metatheorem	Metatheorem \| Metastelling \| Metateorema	3
Q592911 [CC \| ]	quantifier	Quantifier (logic) \| Quantificação \| Квантор	3
Q2509500 [CC \| ]	sentence	Sentence (mathematical logic) \| Sentença (lógica matemática) \| Предложение (логика)	3
Q2749902 [CC \| ]	square of opposition	Square of opposition \| Quadrado das oposições \| Логічний квадрат	3
Q335148 [CC \| ]	Stephen Cole Kleene	Stephen Cole Kleene \| スティーヴン・コール・クリーネ \| Клини, Стивен Коул	3
Q2372244 [CC \| ]	symbol	Symbol (formal) \| Símbolo (formal) \| Символ (логіка)	3
Q815297 [CC \| ]	systems biology	Systems biology \| Biologie des systèmes \| システム生物学	3
Q455 [CC \| ]	Encyclopædia Britannica	Enciclopedia Británica \| Enciclopedia Britannica \| Encyklopedia Britannica	3
Q4347052 [CC \| ]	object language	Lenguaje objeto \| Objecttaal \| Linguagem objeto	3
Q1347436 [CC \| ]	epistemic modal logic	Lógica epistémica \| 認識論理 \| Эпистемическая логика	3
Q176786 [CC \| ]	intuitionistic logic	Lógica intuicionista \| Интуиционистская логика \| Intuitionistisk logik	3
Q151 [CC \| ]	Wiktionary	Wikcionario \| Wikcionário \| 维基词典	3
Q33742 [CC \| ]	natural language	Langage naturel \| 自然言語 \| Natuurlijke taal	3
Q441178 [CC \| ]	Raymond Smullyan	Raymond Smullyan \| レイモンド・スマリヤン	3
Q1454986 [CC \| ]	physical system	Système physique \| 系 (自然科学) \| سامانه فیزیکی	3
Q308495 [CC \| ]	abductive reasoning	アブダクション \| Абдукција (логика) \| Абдукция (логика)	3
Q8011 [CC \| ]	Avicenna	イブン・スィーナー \| Avicena \| ابن سینا	3
Q39837 [CC \| ]	Averroes	イブン・ルシュド \| Averróis \| ابن رشد	3
Q214969 [CC \| ]	Willard Van Orman Quine	ウィラード・ヴァン・オーマン・クワイン \| Willard van Orman Quine \| ویلارد کواین	3
Q60502 [CC \| ]	Gerhard Gentzen	ゲルハルト・ゲンツェン \| Герхард Генцен \| Gerhard Gentzen	3
Q9047 [CC \| ]	Gottfried Wilhelm Leibniz	ゴットフリート・ライプニッツ \| Gottfried Wilhelm Leibniz \| گوتفرید لایبنیتس	3
Q185478 [CC \| ]	countably infinite set	可算集合 \| Счётное множество \| Зліченна множина	3
Q44325 [CC \| ]	ontology	存在論 \| Ontologia \| Ontologi	3
Q183046 [CC \| ]	meaning	意味 \| Betekenis \| Mening (betydelse)	3
Q1137814 [CC \| ]	constructivism	構成主義 (数学) \| Construtivismo (matemática) \| Конструктивная математика	3
Q178354 [CC \| ]	reason	理性 \| Разум \| Razão	3
Q10879018 [CC \| ]	intuitionism	直観主義 (数学の哲学) \| Intuicionismo \| Интуиционизм	3
Q841728 [CC \| ]	linear logic	線形論理 \| Lógica linear \| Линейная логика	3
Q839490 [CC \| ]	substructural logic	部分構造論理 \| Lógica subestrutural \| Субструктурная логика	3
Q5347270 [CC \| ]	effective method	Método efetivo \| Эффективный процесс \| Ефективни метод	3
Q363948 [CC \| ]	contradiction	Противоречие \| Motsägelse \| Қарама-қайшылық	3
Q874429 [CC \| ]	group theory	Теория групп \| Теорія груп \| Ушкăнсен теорийĕ	3
Q1003009 [CC \| ]	formal logic	Формальная логика \| Формальна логіка \| Формал логика	3
Q1860 [CC \| ]	English	Англійська мова \| 영어 \| زبان انگلیسی	3
Q862816 [CC \| ]	Ethics	أخلاقيات (باروخ سبينوزا) \| エチカ (スピノザ)	2
Q324254 [CC \| ]	ontology	أنطولوجية (علم المعلومات) \| هستی‌شناسی (علم اطلاعات)	2
Q3622126 [CC \| ]	conceptual system	إطار عمل تصوري \| سامانه مفهومی	2
Q221113 [CC \| ]	A.I. Artificial Intelligence	إي آي: الذكاء الاصطناعي (فيلم) \| هوش مصنوعی (فیلم)	2
Q1582085 [CC \| ]	knowledge extraction	استخراج المعرفة \| استخراج دانش	2
Q1710397 [CC \| ]	reason	استدلال	2
Q2555318 [CC \| ]	automated reasoning	استدلال آلي \| استدلال خودکار	2
Q7900131 [CC \| ]	urban metabolism	استقلاب حضري \| Urban metabolism	2
Q1156402 [CC \| ]	reasoning	استنتاج \| Raciocínio	2
Q1639361 [CC \| ]	sociotechnical system	الأنظمة الاجتماعية التقانية \| Sociotechnical system	2
Q818888 [CC \| ]	computability	الحاسوبية \| محاسبه‌پذیری	2
Q275603 [CC \| ]	logic programming	برمجة منطقية \| برنامه‌نویسی منطقی	2
Q163468 [CC \| ]	Prolog	برولوغ \| پرولوگ	2
Q48460 [CC \| ]	Dewey Decimal Classification	تصنيف ديوي العشري \| رده‌بندی دهدهی دیوئی	2
Q370502 [CC \| ]	mapping	تطبيق (رياضيات) \| Map (mathematics)	2
Q5153664 [CC \| ]	commonsense reasoning	تفكير بديهي \| استدلال عقلانی	2
Q30336093 [CC \| ]	biological system	جهاز حيوي \| Biological system	2
Q181488 [CC \| ]	Gulliver's Travels	رحلات غوليفر \| سفرهای گالیور	2
Q15429043 [CC \| ]	Stephanie Forrest	ستيفاني فوريست \| Stephanie Forrest	2
Q582159 [CC \| ]	Siri	سيري \| سیری (نرم‌افزار)	2
Q3076438 [CC \| ]	systems ecology	علم بيئة النظم \| Systems ecology	2
Q1452527 [CC \| ]	systems psychology	علم نفس النظم \| Systems psychology	2
Q1848974 [CC \| ]	Fred Emery	فرد إميري \| Fred Emery	2
Q6627326 [CC \| ]	list of mathematical logic topics	قائمة بمواضيع المنطق الرياضي \| List of mathematical logic topics	2
Q8513 [CC \| ]	database	قاعدة بيانات \| データベース	2
Q593744 [CC \| ]	knowledge base	قاعدة معرفة \| پایگاه دانش	2
Q11749 [CC \| ]	Lydia E. Kavraki	ليديا كافراكي \| Lydia Kavraki	2
Q6759197 [CC \| ]	Margaret Boden	مارغريت بودن \| Margaret Boden	2
Q16118 [CC \| ]	Manuela M. Veloso	مانويلا إم. فيلوسو \| Manuela M. Veloso	2
Q6847374 [CC \| ]	Mike Jackson	مايك جاكسون (عالم حاسوب) \| Mike Jackson (systems scientist)	2
Q1341685 [CC \| ]	inference engine	محرك الاستدلال \| موتور استنتاج	2
Q1094228 [CC \| ]	logical atomism	مذهب الذرية المنطقية \| Atomismo lógico	2
Q655717 [CC \| ]	Tractatus Logico-Philosophicus	مصنف منطقي فلسفي \| رساله منطقی-فلسفی	2
Q1953827 [CC \| ]	Murray Bowen	موراي بوين \| Murray Bowen	2
Q8192 [CC \| ]	writing system	نظام كتابة \| 文字	2
Q660848 [CC \| ]	nonlinear system	نظام لاخطي \| سامانه غیرخطی	2
Q232405 [CC \| ]	metric system	نظام متري \| メートル法	2
Q1113528 [CC \| ]	Systems theory in political science	نظرية الأنظمة في العلوم السياسية \| Systems theory in political science	2
Q3490369 [CC \| ]	Morse–Kelley set theory	نظرية المجموعات حسب مورس-كيلي \| Morse–Kelley set theory	2
Q1540472 [CC \| ]	knowledge engineering	هندسة المعرفة \| مهندسی دانش	2
Q12253 [CC \| ]	Watson	واتسون (حاسوب) \| واتسون (رایانه)	2
Q207006 [CC \| ]	Wolfram Alpha	ولفرام ألفا \| ولفرم آلفا	2
Q711172 [CC \| ]	W. Ross Ashby	ويليام روس آشبي \| ウィリアム・ロス・アシュビー	2
Q18782 [CC \| ]	1931	1931	2
Q11030584 [CC \| ]	Entscheidungsproblem	Entscheidungsproblem	2
Q12483 [CC \| ]	statistics	Estadística	2
Q179310 [CC \| ]	computing	Informàtica \| Informática	2
Q11688701 [CC \| ]	formalized language	Llenguatge formalitzat \| Lenguaje formalizado	2
Q2623243 [CC \| ]	conceptual model	Model conceptual \| Model (wetenschap)	2
Q11205 [CC \| ]	arithmetic	Arithmetik \| Թվաբանություն	2
Q2111781 [CC \| ]	production rule	Produktionsregel \| Production (computer science)	2
Q4833865 [CC \| ]	abstract structure	Abstract structure \| Abstraktigala strukturo	2
Q426218 [CC \| ]	Anthony Wilden	Anthony Wilden	2
Q2328174 [CC \| ]	atomic formula	Atomic formula \| 原子論理式	2
Q716107 [CC \| ]	Béla H. Bánáthy	Béla H. Bánáthy \| بلا باناتی	2
Q5074934 [CC \| ]	Charles A S Hall	Charles A. S. Hall	2
Q162886 [CC \| ]	Euclidean geometry	Euclidean geometry \| ユークリッド幾何学	2
Q773483 [CC \| ]	existential quantification	Existential quantification \| 存在記号	2
Q6498784 [CC \| ]	mathematical expression	Expression (mathematics) \| Uitdrukking (wiskunde)	2
Q5450405 [CC \| ]	finite model theory	Finite model theory \| 有限モデル理論	2
Q5532389 [CC \| ]	general set theory	General set theory \| Загальна теорія множин	2
Q36108 [CC \| ]	generative grammar	Generative grammar \| Gramática gerativa	2
Q6059147 [CC \| ]	intuitionistic type theory	Intuitionistic type theory \| 直観主義型理論	2
Q1782658 [CC \| ]	logical constant	Logical constant \| Логическая константа	2
Q6897882 [CC \| ]	Monadic predicate calculus	Monadic predicate calculus \| Числення одномісних предикатів	2
Q163335 [CC \| ]	Principia Mathematica	Principia Mathematica	2
Q3492863 [CC \| ]	propositional variable	Propositional variable \| Variable proposicional	2
Q189725 [CC \| ]	Panini	Pāṇini \| پانینی	2
Q10959 [CC \| ]	Ruzena Bajcsy	Ruzena Bajcsy	2
Q1437428 [CC \| ]	programming language semantics	Semantics (computer science) \| プログラム意味論	2
Q1771121 [CC \| ]	sequent calculus	Sequent calculus \| Исчисление секвенций	2
Q1522579 [CC \| ]	substitution	Substitution (logic) \| Substituição (lógica)	2
Q11703922 [CC \| ]	systemics	Systemics \| Systémique	2
Q209555 [CC \| ]	tautology	Tautology (logic) \| Tautologi (logik)	2
Q3038235 [CC \| ]	Twelve leverage points	Twelve leverage points \| Douze leviers pour intervenir dans un système	2
Q3502995 [CC \| ]	undecidable problem	Undecidable problem \| Алгоритмически неразрешимая задача	2
Q126695 [CC \| ]	universal quantification	Universal quantification \| 全称記号	2
Q278770 [CC \| ]	Von Neumann–Bernays–Gödel set theory	Von Neumann–Bernays–Gödel set theory \| Теорія множин фон Неймана — Бернайса — Геделя	2
Q191853 [CC \| ]	Zermelo set theory	Zermelo set theory \| Теорія множин Цермело	2
Q280221 [CC \| ]	interpretation	Interpretación \| 解釈	2
Q669180 [CC \| ]	doxastic logic	Lógica doxástica	2
Q796212 [CC \| ]	semantics	Semántica \| 意味論 (論理学)	2
Q194152 [CC \| ]	parsing	Analyse syntaxique \| 構文解析	2
Q477538 [CC \| ]	systems architecture	Architecture d'un système \| システムアーキテクチャ	2
Q9143 [CC \| ]	programming language	Langage de programmation \| プログラミング言語	2
Q858700 [CC \| ]	legal order	Ordre juridique \| 法系	2
Q796226 [CC \| ]	Anthony Stafford Beer	Stafford Beer \| スタッフォード・ビーア	2
Q336067 [CC \| ]	No label in en!	Théorie des systèmes sociaux \| 社会システム理論	2
Q315 [CC \| ]	language	Cànan \| Taal	2
Q371730 [CC \| ]	well-defined	Well-defined \| Bem definido	2
Q12078874 [CC \| ]	a priori	アプリオリ \| A priori	2
Q3268033 [CC \| ]	Alan Ross Anderson	アラン・アンダーソン (論理学者) \| Alan Ross Anderson	2
Q57248 [CC \| ]	Ernst Zermelo	エルンスト・ツェルメロ \| Ernst Zermelo	2
Q298521 [CC \| ]	Saul Kripke	ソール・クリプキ \| Saul Kripke	2
Q548080 [CC \| ]	Thoralf Skolem	トアルフ・スコーレム \| Thoralf Skolem	2
Q92611 [CC \| ]	Haskell Curry	ハスケル・カリー \| Haskell Curry	2
Q122318 [CC \| ]	Paul Bernays	パウル・ベルナイス \| Paul Bernays	2
Q725797 [CC \| ]	Peter Geach	ピーター・ギーチ \| Peter Geach	2
Q126692 [CC \| ]	pragmatism	プラグマティズム \| Pragmatismo	2
Q7281 [CC \| ]	propaganda	プロパガンダ \| Propaganda	2
Q9391 [CC \| ]	Ludwig Wittgenstein	ルートヴィヒ・ウィトゲンシュタイン \| Ludwig Wittgenstein	2
Q186531 [CC \| ]	axiology	価値論 \| Axiologia	2
Q81009 [CC \| ]	rhetoric	修辞学 \| Retórica	2
Q1806121 [CC \| ]	range of a function	値域 \| Область значень	2
Q1088088 [CC \| ]	possible world	可能世界論 \| Mundo possível	2
Q82799 [CC \| ]	name	名前 \| Nome	2
Q202253 [CC \| ]	nominalism	唯名論 \| Nominalismo	2
Q735590 [CC \| ]	philosophical realism	実在論 \| Realismo filosófico	2
Q3962655 [CC \| ]	opinion	意見 \| Opinião	2
Q1140419 [CC \| ]	ambiguity	曖昧 \| Ambiguidade	2
Q3844169 [CC \| ]	Dialetheism	真矛盾主義 \| Dialeteísmo	2
Q2222142 [CC \| ]	list of logicians	論理学者 \| فهرست منطقدانان	2
Q270105 [CC \| ]	argumentation theory	議論学 \| Teoria da argumentação	2
Q420 [CC \| ]	biology	Биология \| Կենսաբանություն	2
Q859 [CC \| ]	Plato	Платон	2
Q317787 [CC \| ]	Ibn Hazm	Abzeme \| ابن حزم	2
Q160460 [CC \| ]	Al-Farabi	Alfarábi \| فارابی	2
Q9546 [CC \| ]	Al-Ghazali	Algazali \| غزالی	2
Q2684591 [CC \| ]	statement	Declaração (lógica) \| Sats (logik)	2
Q1347572 [CC \| ]	evidence	Evidência \| Bevis	2
Q15439057 [CC \| ]	list of rules of inference	Lista de regras de inferência \| فهرست قواعد استنتاج	2
Q615599 [CC \| ]	Aristotelian logic	Lógica aristotélica \| Арістотелева логіка	2
Q387196 [CC \| ]	description logic	Lógica de descrição \| Дескрипционная логика	2
Q171195 [CC \| ]	Nāgārjuna	Nagarjuna \| ناگارجونه	2
Q500930 [CC \| ]	Organon	Organon \| Органон (Аристотель)	2
Q16533230 [CC \| ]	Axiomatics of thermodynamics	Аксиоматика термодинамики \| Термодинамика аксиоматики	2
Q474328 [CC \| ]	declarative sentence	Высказывание (логика) \| Påståendesats	2
Q4204464 [CC \| ]	No label in en!	Историко-математические исследования \| Історико-математичні дослідження	2
Q858320 [CC \| ]	calculus of constructions	Исчисление конструкций \| Числення конструкцій	2
Q875267 [CC \| ]	necessity and sufficiency	Необходимое и достаточное условия \| Қажетті және жеткілікті шарттар	2
Q8171 [CC \| ]	word	Слово	2
Q5469988 [CC \| ]	formalization	Формализация \| Формалізація	2
Q2599504 [CC \| ]	Sofya Yanovskaya	Яновская, Софья Александровна \| Яновська Софія Олександрівна	2
Q19703285 [CC \| ]	László Csirmaz	Csirmaz László	1
Q25670 [CC \| ]	digital object identifier	Digital object identifier	1
Q515987 [CC \| ]	András Hajnal	Hajnal András (matematikus)	1
Q659746 [CC \| ]	well-order	Jólrendezés	1
Q1118314 [CC \| ]	No label in en!	Konklúzió	1
Q3893330 [CC \| ]	alphabet of human thought	أبجديات التفكير الإنساني	1
Q577001 [CC \| ]	calculus ratiocinator	أداة الاستدلال المنطقي لحساب التفاضل والتكامل	1
Q12183174 [CC \| ]	No label in en!	افتراض (منطق)	1
Q12202385 [CC \| ]	No label in en!	تركيب (منطق)	1
Q443131 [CC \| ]	Charles Martin Hall	تشارلز هول	1
Q3142865 [CC \| ]	logical reasoning	تفكير منطقي	1
Q3478658 [CC \| ]	knowledge representation and reasoning	تمثيل المعرفة	1
Q16730668 [CC \| ]	James Kay	جيمس كاي	1
Q193660 [CC \| ]	Ramon Llull	رامون لول	1
Q9295621 [CC \| ]	Zairja	علم الزائرجة	1
Q4316487 [CC \| ]	Faina Mihajlovna Kirillova	فاينا ميخائيلوفنا كيريلوفا	1
Q23407 [CC \| ]	philosophy of mind	فلسفة العقل	1
Q56277524 [CC \| ]	Personal knowledge base	قاعدة المعرفة الشخصية	1
Q16119569 [CC \| ]	No label in en!	قضية (توضيح)	1
Q15897235 [CC \| ]	Cortana	كورتانا	1
Q44167 [CC \| ]	engine	محرك	1
Q471 [CC \| ]	Memex	ميمكس	1
Q1641112 [CC \| ]	social formation	نظام اجتماعي	1
Q4531977 [CC \| ]	power system	نظام الطاقة	1
Q3516404 [CC \| ]	systematics	نظاميات	1
Q54837 [CC \| ]	Semantic Web	ويب دلالي	1
Q32043 [CC \| ]	addition	Addition	1
Q1226939 [CC \| ]	division	Division (Mathematik)	1
Q211294 [CC \| ]	elementary algebra	Elementare Algebra	1
Q7214750 [CC \| ]	elementary arithmetic	Grundrechenart	1
Q15822509 [CC \| ]	No label in en!	Kalkül	1
Q1744274 [CC \| ]	No label in en!	Klammerregel	1
Q40276 [CC \| ]	multiplication	Multiplikation	1
Q40754 [CC \| ]	subtraction	Subtraktion	1
Q600590 [CC \| ]	n-tuple	Tupel	1
Q1624848 [CC \| ]	No label in en!	Wissensrepräsentation mit Logik	1
Q2748142 [CC \| ]	abstract logic	Abstract logic	1
Q341810 [CC \| ]	Ackermann set theory	Ackermann set theory	1
Q908627 [CC \| ]	aleph number	Aleph number	1
Q1005222 [CC \| ]	algebraic logic	Algebraic logic	1
Q4732017 [CC \| ]	Allenna Leonard	Allenna Leonard	1
Q1315869 [CC \| ]	arity	Arity	1
Q4345785 [CC \| ]	atomic sentence	Atomic sentence	1
Q214526 [CC \| ]	automata theory	Automata theory	1
Q431667 [CC \| ]	automated theorem proving	Automated theorem proving	1
Q4830560 [CC \| ]	axiom of reducibility	Axiom of reducibility	1
Q737851 [CC \| ]	Banach–Tarski paradox	Banach–Tarski paradox	1
Q15995108 [CC \| ]	Barbara J. Grosz	Barbara J. Grosz	1
Q180907 [CC \| ]	bijection	Bijection	1
Q4943350 [CC \| ]	Boolean algebras canonically defined	Boolean algebras canonically defined	1
Q729471 [CC \| ]	Cantor's diagonal argument	Cantor's diagonal argument	1
Q379078 [CC \| ]	Cantor's paradox	Cantor's paradox	1
Q4049983 [CC \| ]	cardinality	Cardinality	1
Q173740 [CC \| ]	Cartesian product	Cartesian product	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
Q217413 [CC \| ]	category theory	Category theory	1
Q1089708 [CC \| ]	Church encoding	Church encoding	1
Q199006 [CC \| ]	codomain	Codomain	1
Q1149458 [CC \| ]	compactness theorem	Compactness theorem	1
Q242767 [CC \| ]	complement	Complement (set theory)	1
Q182557 [CC \| ]	computational linguistics	Computational linguistics	1
Q1575634 [CC \| ]	concrete category	Concrete category	1
Q864213 [CC \| ]	Conservative extension	Conservative extension	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
Q5178017 [CC \| ]	Coupled human–environment system	Coupled human–environment system	1
Q997433 [CC \| ]	dependent type	Dependent type	1
Q225869 [CC \| ]	descriptive set theory	Descriptive set theory	1
Q1201165 [CC \| ]	determinacy	Determinacy	1
Q15805655 [CC \| ]	diagram	Diagram (mathematical logic)	1
Q1228944 [CC \| ]	domain of discourse	Domain of discourse	1
Q5358902 [CC \| ]	Elementary diagram	Elementary diagram	1
Q877149 [CC \| ]	elementary equivalence	Elementary equivalence	1
Q5358906 [CC \| ]	elementary function arithmetic	Elementary function arithmetic	1
Q5384443 [CC \| ]	Equiconsistency	Equiconsistency	1
Q130998 [CC \| ]	equivalence relation	Equivalence relation	1
Q1351418 [CC \| ]	Eric Trist	Eric Trist	1
Q46 [CC \| ]	Europe	Europe	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
Q55611653 [CC \| ]	Finite-valued logic	Finite-valued logic	1
Q111181235 [CC \| ]	Fixed-point logic	Fixed-point logic	1
Q1003136 [CC \| ]	forcing	Forcing (mathematics)	1
Q173326 [CC \| ]	formal verification	Formal verification	1
Q5474574 [CC \| ]	foundations of geometry	Foundations of geometry	1
Q3502887 [CC \| ]	free logic	Free logic	1
Q5508846 [CC \| ]	functional predicate	Functional predicate	1
Q13635346 [CC \| ]	glossary of category theory	Glossary of category theory	1
Q1362266 [CC \| ]	Gongsun Long	Gongsun Long	1
Q1465090 [CC \| ]	Grothendieck universe	Grothendieck universe	1
Q431411 [CC \| ]	ground expression	Ground expression	1
Q110765095 [CC \| ]	ground formula	Ground formula	1
Q1451046 [CC \| ]	Gödel numbering	Gödel numbering	1
Q622849 [CC \| ]	halting problem	Halting problem	1
Q5737878 [CC \| ]	Hereditary set	Hereditary set	1
Q5758318 [CC \| ]	higher category theory	Higher category theory	1
Q910361 [CC \| ]	Hilbert system	Hilbert system	1
Q840243 [CC \| ]	Hilbert's axioms	Hilbert's axioms	1
Q5871008 [CC \| ]	history of type theory	History of type theory	1
Q5891840 [CC \| ]	homotopy type theory	Homotopy type theory	1
Q860623 [CC \| ]	image	Image (mathematics)	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
Q998026 [CC \| ]	intended interpretation	Intended interpretation	1
Q17101792 [CC \| ]	interpretation	Interpretation (model theory)	1
Q185837 [CC \| ]	intersection	Intersection (set theory)	1
Q189112 [CC \| ]	isomorphism	Isomorphism	1
Q2410204 [CC \| ]	James Grier Miller	James Grier Miller	1
Q6136698 [CC \| ]	James J. Kay	James J. Kay	1
Q6178942 [CC \| ]	Jennifer Wilby	Jennifer Wilby	1
Q6257207 [CC \| ]	John Seddon	John Seddon	1
Q6376671 [CC \| ]	Kathleen Carley	Kathleen Carley	1
Q51781 [CC \| ]	Katia Sycara	Katia Sycara	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
Q6638184 [CC \| ]	list of set theory topics	List of set theory topics	1
Q6641390 [CC \| ]	list of statements undecidable in ZFC	List of statements independent of ZFC	1
Q6642114 [CC \| ]	list of systems sciences organizations	List of systems sciences organizations	1
Q2110053 [CC \| ]	list of systems scientists	List of systems scientists	1
Q6506039 [CC \| ]	living system	Living systems	1
Q117337220 [CC \| ]	Logic translation	Logic translation	1
Q204355 [CC \| ]	logical biconditional	Logical biconditional	1
Q191081 [CC \| ]	logical conjunction	Logical conjunction	1
Q1651704 [CC \| ]	logical disjunction	Logical disjunction	1
Q3308477 [CC \| ]	logic equality	Logical equality	1
Q220433 [CC \| ]	logical equivalence	Logical equivalence	1
Q6748484 [CC \| ]	Manfred Clynes	Manfred Clynes	1
Q178377 [CC \| ]	mathematical induction	Mathematical induction	1
Q1140046 [CC \| ]	mathematical notation	Mathematical notation	1
Q246672 [CC \| ]	mathematical object	Mathematical object	1
Q2191455 [CC \| ]	Mihajlo D. Mesarovic	Mihajlo D. Mesarovic	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
Q628036 [CC \| ]	NP	NP (complexity)	1
Q30642 [CC \| ]	natural language processing	Natural language processing	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
Q600499 [CC \| ]	nonsense	Nonsense	1
Q830486 [CC \| ]	open formula	Open formula	1
Q3884033 [CC \| ]	operation	Operation (mathematics)	1
Q7100782 [CC \| ]	ordinal analysis	Ordinal analysis	1
Q191780 [CC \| ]	ordinal number	Ordinal number	1
Q846354 [CC \| ]	P	P (complexity)	1
Q746242 [CC \| ]	P versus NP problem	P versus NP problem	1
Q4344872 [CC \| ]	paradoxes of set theory	Paradoxes of set theory	1
Q381060 [CC \| ]	partition of a set	Partition of a set	1
Q10531432 [CC \| ]	predicate variable	Predicate variable	1
Q7243580 [CC \| ]	primitive recursive arithmetic	Primitive recursive arithmetic	1
Q3922048 [CC \| ]	Principia Cybernetica	Principia Cybernetica	1
Q2670534 [CC \| ]	programming language theory	Programming language theory	1
Q7250002 [CC \| ]	proof calculus	Proof calculus	1
Q17163436 [CC \| ]	proof of impossibility	Proof of impossibility	1
Q1372900 [CC \| ]	propositional formula	Propositional formula	1
Q7265420 [CC \| ]	QED manifesto	QED manifesto	1
Q7268912 [CC \| ]	quantifier rank	Quantifier rank	1
Q17517256 [CC \| ]	Radhika Nagpal	Radhika Nagpal	1
Q185612 [CC \| ]	regular expression	Regular expression	1
Q123739394 [CC \| ]	Relation	Relation (mathematics)	1
Q2005236 [CC \| ]	reverse mathematics	Reverse mathematics	1
Q928884 [CC \| ]	Robinson arithmetic	Robinson arithmetic	1
Q33401 [CC \| ]	Russell's paradox	Russell's paradox	1
Q1350299 [CC \| ]	satisfiability	Satisfiability	1
Q1473532 [CC \| ]	Saturated model	Saturated model	1
Q1033910 [CC \| ]	Cantor–Bernstein–Schroeder theorem	Schröder–Bernstein theorem	1
Q7442973 [CC \| ]	second-order arithmetic	Second-order arithmetic	1
Q7448234 [CC \| ]	Self-verifying theories	Self-verifying theories	1
Q7449101 [CC \| ]	semantic theory of truth	Semantic theory of truth	1
Q741810 [CC \| ]	signature	Signature (logic)	1
Q1165112 [CC \| ]	singleton	Singleton (mathematics)	1
Q7536198 [CC \| ]	Skolem arithmetic	Skolem arithmetic	1
Q1639378 [CC \| ]	social system	Social system	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
Q7625074 [CC \| ]	structuralism	Structuralism (philosophy of mathematics)	1
Q1851710 [CC \| ]	structure	Structure (mathematical logic)	1
Q859254 [CC \| ]	Substructure	Substructure (mathematics)	1
Q7644269 [CC \| ]	supertask	Supertask	1
Q229102 [CC \| ]	surjective function	Surjective function	1
Q919251 [CC \| ]	Systems art	Systems art	1
Q7663877 [CC \| ]	systems pharmacology	Systems pharmacology	1
Q7663878 [CC \| ]	systems philosophy	Systems philosophy	1
Q7663880 [CC \| ]	systems theory in anthropology	Systems theory in anthropology	1
Q7663881 [CC \| ]	Systems theory in archaeology	Systems theory in archaeology	1
Q1340474 [CC \| ]	systems thinking	Systems thinking	1
Q442383 [CC \| ]	T-schema	T-schema	1
Q7686756 [CC \| ]	Tarski's axiomatization of the reals	Tarski's axiomatization of the reals	1
Q7686757 [CC \| ]	Tarski's axioms	Tarski's axioms	1
Q574902 [CC \| ]	Tarski's undefinability theorem	Tarski's undefinability theorem	1
Q3984085 [CC \| ]	Tarski–Grothendieck set theory	Tarski–Grothendieck set theory	1
Q1318370 [CC \| ]	term	Term (logic)	1
Q237125 [CC \| ]	term logic	Term logic	1
Q185443 [CC \| ]	three-valued logic	Three-valued logic	1
Q7806105 [CC \| ]	timeline of mathematical logic	Timeline of mathematical logic	1
Q2143621 [CC \| ]	topos	Topos	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
Q7885264 [CC \| ]	Uninterpreted function	Uninterpreted function	1
Q185359 [CC \| ]	union	Union (set theory)	1
Q2502253 [CC \| ]	uniqueness quantification	Uniqueness quantification	1
Q25303740 [CC \| ]	Univalent foundations	Univalent foundations	1
Q1378301 [CC \| ]	universal set	Universal set	1
Q597663 [CC \| ]	universe	Universe (mathematics)	1
Q1896657 [CC \| ]	urelement	Urelement	1
Q50701 [CC \| ]	variable	Variable (mathematics)	1
Q124001287 [CC \| ]	Victor Aladjev	Victor Aladjev	1
Q77887 [CC \| ]	von Neumann universe	Von Neumann universe	1
Q16911578 [CC \| ]	∞-groupoid	∞-groupoid	1
Q25098768 [CC \| ]	∞-topos	∞-topos	1
Q2878974 [CC \| ]	theoretical computer science	Ciencia computacional teórica	1
Q8465354 [CC \| ]	logical calculus	Cálculo lógico	1
Q374178 [CC \| ]	Jesús Padilla Gálvez	Jesús Padilla Gálvez	1
Q1206311 [CC \| ]	quantum logic	Lógica cuántica	1
Q2488768 [CC \| ]	non-monotonic logic	Lógica no monotónica	1
Q944 [CC \| ]	quantum mechanics	Mecánica cuántica	1
Q1945137 [CC \| ]	monotonicity of entailment	Monotonicidad de la implicación	1
Q7048977 [CC \| ]	abstract entity	Objeto abstracto	1
Q217595 [CC \| ]	Oxford University Press	Oxford University Press	1
Q1708210 [CC \| ]	Princeton University Press	Princeton University Press	1
Q60190 [CC \| ]	principle of explosion	Principio de explosión	1
Q868437 [CC \| ]	law of noncontradiction	Principio de no contradicción	1
Q468422 [CC \| ]	principle of excluded middle	Principio del tercero excluido	1
Q1814982 [CC \| ]	University of Chicago Press	University of Chicago Press	1
Q2845217 [CC \| ]	No label in en!	Analyse décisionnelle des systèmes complexes	1
Q2858927 [CC \| ]	ecosystem approach	Approche écosystémique	1
Q47506 [CC \| ]	compiler	Compilateur	1
Q904564 [CC \| ]	population dynamics	Dynamique des populations	1
Q3049039 [CC \| ]	No label in en!	Effets non linéaires	1
Q82753 [CC \| ]	computer file	Fichier informatique	1
Q183065 [CC \| ]	interpreter	Interprète (informatique)	1
Q3166849 [CC \| ]	Jean-Louis Le Moigne	Jean-Louis Le Moigne	1
Q55813 [CC \| ]	machine code	Langage machine	1
Q119983938 [CC \| ]	Peter Winiwarter	Peter Winiwarter	1
Q132364 [CC \| ]	communication protocol	Protocole de communication	1
Q814385 [CC \| ]	bounded rationality	Rationalité limitée	1
Q11984976 [CC \| ]	automatic control	Régulation automatique	1
Q3526810 [CC \| ]	No label in en!	Régulation sociale	1
Q183635 [CC \| ]	feedback	Rétroaction	1
Q10370880 [CC \| ]	Hilbert's sixth problem	Sixième problème de Hilbert	1
Q21201 [CC \| ]	sociology	Sociologie	1
Q1189746 [CC \| ]	denotational semantics	Sémantique dénotationnelle	1
Q1930895 [CC \| ]	operational semantics	Sémantique opérationnelle	1
Q4453896 [CC \| ]	Tektology	Tectologie	1
Q9295456 [CC \| ]	theory	Théorie axiomatique	1
Q3174497 [CC \| ]	dynamical systems theory	Théorie des systèmes dynamiques	1
Q9471 [CC \| ]	epistemology	Épistémologie	1
Q3803714 [CC \| ]	Institute of the Italian Encyclopaedia	Istituto dell'Enciclopedia Italiana	1
Q65241326 [CC \| ]	model	Modello (logica matematica)	1
Q3984045 [CC \| ]	No label in en!	Teorema di completezza	1
Q3984158 [CC \| ]	No label in en!	Teoria soddisfacibile	1
Q1861110 [CC \| ]	X-bar theory	Xバー理論	1
Q2501020 [CC \| ]	Euler diagram	オイラー図	1
Q43936 [CC \| ]	William of Ockham	オッカムのウィリアム	1
Q599967 [CC \| ]	autopoiesis	オートポイエーシス	1
Q461528 [CC \| ]	Karnaugh map	カルノー図	1
Q211411 [CC \| ]	Chrysippus of Soli	クリュシッポス	1
Q621409 [CC \| ]	Quine–McCluskey algorithm	クワイン・マクラスキー法	1
Q44455 [CC \| ]	game theory	ゲーム理論	1
Q1090524 [CC \| ]	Skolem normal form	スコーレム標準形	1
Q175928 [CC \| ]	type–token distinction	タイプとトークンの区別	1
Q811591 [CC \| ]	method of analytic tableaux	タブローの方法	1
Q35802 [CC \| ]	Benedictus de Spinoza	バールーフ・デ・スピノザ	1
Q28500947 [CC \| ]	binary logic	ブール論理	1
Q323903 [CC \| ]	holon	ホロン (哲学)	1
Q190089 [CC \| ]	Duns Scotus	ヨハネス・ドゥンス・スコトゥス	1
Q121572 [CC \| ]	literal	リテラル	1
Q188572 [CC \| ]	fact	事実	1
Q2577553 [CC \| ]	use–mention distinction	使用と言及の区別	1
Q1923256 [CC \| ]	intension	内包と外延	1
Q843829 [CC \| ]	recursion theory	再帰理論	1
Q281854 [CC \| ]	prenex normal form	冠頭標準形	1
Q217602 [CC \| ]	analysis	分析	1
Q1076131 [CC \| ]	presupposition	前提	1
Q1640479 [CC \| ]	negation normal form	否定標準形	1
Q1384998 [CC \| ]	extension	外延	1
Q1383836 [CC \| ]	existential graph	存在グラフ	1
Q21004260 [CC \| ]	inquiry	探究	1
Q180159 [CC \| ]	list of mathematical symbols	数学記号の表	1
Q830115 [CC \| ]	concept map	概念地図	1
Q627921 [CC \| ]	parse tree	構文木	1
Q2478386 [CC \| ]	legal system	法系の一覧	1
Q37055 [CC \| ]	independence	独立	1
Q5129538 [CC \| ]	Clausal normal form	節標準形	1
Q1858477 [CC \| ]	frugality	節約	1
Q1536492 [CC \| ]	Linear temporal logic	線形時相論理	1
Q3695082 [CC \| ]	sign	記号	1
Q7958 [CC \| ]	explanation	説明	1
Q1503766 [CC \| ]	nonstandard analysis	超準解析	1
Q846564 [CC \| ]	conjunctive normal form	連言標準形	1
Q903789 [CC \| ]	disjunctive normal form	選言標準形	1
Q27031342 [CC \| ]	quantification	量化	1
Q23016238 [CC \| ]	No label in en!	関連	1
Q65312062 [CC \| ]	No label in en!	Лингвистика	1
Q9418 [CC \| ]	psychology	Психология	1
Q8134 [CC \| ]	economics	Экономика	1
Q629206 [CC \| ]	computer language	Computertaal	1
Q7268438 [CC \| ]	quadrupel	Quadrupel	1
Q11345 [CC \| ]	equation	Vergelijking (wiskunde)	1
Q748349 [CC \| ]	mathematical structure	Wiskundige structuur	1
Q41796 [CC \| ]	sentence	Zin (taalkunde)	1
Q615699 [CC \| ]	online encyclopedia	Encyklopedia internetowa	1
Q44380025 [CC \| ]	No label in en!	Formuła	1
Q11713521 [CC \| ]	No label in en!	Intuicjonistyczny rachunek zdań	1
Q3509316 [CC \| ]	No label in en!	Język (logika)	1
Q25416946 [CC \| ]	No label in en!	Operator konsekwencji	1
Q5300067 [CC \| ]	double negation	Prawo podwójnego przeczenia	1
Q9305622 [CC \| ]	No label in en!	Reguła wnioskowania	1
Q333556 [CC \| ]	Absurd	Absurdo	1
Q384882 [CC \| ]	Alexander Bain	Alexander Bain	1
Q185816 [CC \| ]	analogy	Analogia	1
Q2845197 [CC \| ]	constructive analysis	Análise construtiva	1
Q5548813 [CC \| ]	Heyting arithmetic	Aritmética de Heyting	1
Q1520777 [CC \| ]	certainty	Certeza	1
Q151885 [CC \| ]	concept	Conceito	1
Q6315855 [CC \| ]	cogency	Convicção	1
Q49447 [CC \| ]	world view	Cosmovisão	1
Q5091945 [CC \| ]	No label in en!	Dedução	1
Q1200750 [CC \| ]	description	Descrição	1
Q558272 [CC \| ]	Dignāga	Dignāga	1
Q254128 [CC \| ]	dilemma	Dilema	1
Q18469252 [CC \| ]	No label in en!	Distinção uso–menção	1
Q5511122 [CC \| ]	Fuzzy finite element	Elemento infinito difuso	1
Q77297 [CC \| ]	Ernst Schröder	Ernst Schröder	1
Q10274706 [CC \| ]	scope	Escopo	1
Q422898 [CC \| ]	explication	Explicação	1
Q819293 [CC \| ]	Ferdinand Canning Scott Schiller	F. C. S. Schiller	1
Q1417326 [CC \| ]	finitism	Finitismo	1
Q1392740 [CC \| ]	George Boolos	George Boolos	1
Q1967139 [CC \| ]	degree of truth	Grau de verdade	1
Q319146 [CC \| ]	Ibn al-Nafis	Ibn al-Nafis	1
Q56353213 [CC \| ]	No label in en!	Implicação	1
Q723578 [CC \| ]	Jon Barwise	Jon Barwise	1
Q29049 [CC \| ]	Kanada	Kanada	1
Q6521185 [CC \| ]	lemma	Lema (filosofia)	1
Q77504 [CC \| ]	Leopold Löwenheim	Leopold Löwenheim	1
Q2651693 [CC \| ]	logic in computer science	Lógica na ciência da computação	1
Q1096708 [CC \| ]	metatheory	Metateoria	1
Q272411 [CC \| ]	Mozi	Mozi	1
Q131012 [CC \| ]	Occam's razor	Navalha de Ockham	1
Q638442 [CC \| ]	modal operator	Operador modal	1
Q2557224 [CC \| ]	explanatory power	Poder explicativo	1
Q1165788 [CC \| ]	prudence	Prudência	1
Q1187191 [CC \| ]	Platonic realism	Realismo platônico	1
Q2090618 [CC \| ]	objection	Refutação	1
Q4548693 [CC \| ]	structural rule	Regra estrutural	1
Q2890076 [CC \| ]	rigour	Rigor	1
Q1763090 [CC \| ]	sentence	Sentença	1
Q1411921 [CC \| ]	vagueness	Vagueza	1
Q1535975 [CC \| ]	burden of proof	Ônus da prova	1
Q904423 [CC \| ]	axiomatic set theory	Аксиоматическая теория множеств	1
Q4751139 [CC \| ]	analytic reasoning	Аналитическое суждение	1
Q5953248 [CC \| ]	hybrid logic	Гибридная логика	1
Q1365054 [CC \| ]	actuality	Действительность	1
Q100792584 [CC \| ]	No label in en!	Исчисление Ламбека	1
Q5161806 [CC \| ]	connexive logic	Коннексивная логика	1
Q173198 [CC \| ]	logic synthesis	Логический синтез	1
Q4316105 [CC \| ]	No label in en!	Недоказуемые утверждения	1
Q115491417 [CC \| ]	description	Описание	1
Q1934165 [CC \| ]	change of variables	Подстановка	1
Q2584447 [CC \| ]	Hilbert's seventh problem	Седьмая проблема Гильберта	1
Q646197 [CC \| ]	symbolic link	Символическая ссылка	1
Q16697917 [CC \| ]	No label in en!	Синтетическое суждение	1
Q1962866 [CC \| ]	No label in en!	Традукция	1
Q3239681 [CC \| ]	scientific theory	Teoria shkencore	1
Q300637 [CC \| ]	a posteriori	A posteriori	1
Q192683 [CC \| ]	ad hoc	Ad hoc	1
Q2370300 [CC \| ]	bivalent logic	Bivalent logik	1
Q3240280 [CC \| ]	direct proof	Direkt bevis	1
Q83021 [CC \| ]	empirical evidence	Empiri	1
Q45003 [CC \| ]	entropy	Entropi	1
Q220888 [CC \| ]	falsifiability	Falsifierbarhet	1
Q106765483 [CC \| ]	No label in en!	Formalism	1
Q319141 [CC \| ]	conjecture	Förmodan	1
Q41719 [CC \| ]	hypothesis	Hypotes	1
Q210832 [CC \| ]	statistical test	Hypotesprövning	1
Q10531680 [CC \| ]	No label in en!	Härledningsbegrepp	1
Q10531683 [CC \| ]	No label in en!	Härledningssystem	1
Q123819398 [CC \| ]	indirect proof	Indirekt bevis	1
Q11028 [CC \| ]	information	Information	1
Q179289 [CC \| ]	causality	Kausalitet	1
Q196626 [CC \| ]	context	Kontext	1
Q49094583 [CC \| ]	No label in en!	Kontradiktion	1
Q1077442 [CC \| ]	contraposition	Kontraposition	1
Q9081 [CC \| ]	knowledge	Kunskap	1
Q655742 [CC \| ]	modus ponens	Modus ponens	1
Q844118 [CC \| ]	modus tollens	Modus tollens	1
Q628374 [CC \| ]	null hypothesis	Nollhypotes	1
Q19978343 [CC \| ]	No label in en!	Reductio ad absurdum-regeln	1
Q10650711 [CC \| ]	No label in en!	Relationslogik	1
Q913874 [CC \| ]	truth function	Sanningsfunktion	1
Q776754 [CC \| ]	summary	Slutsats	1
Q10682043 [CC \| ]	No label in en!	Struktur (filosofi)	1
Q19978412 [CC \| ]	No label in en!	Sundhet	1
Q56303152 [CC \| ]	No label in en!	Utsaga	1
Q10856991 [CC \| ]	Zermelo–Fraenkel set theory with choice	ZFC	1
Q12089249 [CC \| ]	No label in en!	Академія (видавничий центр)	1
Q1150675 [CC \| ]	computer-assisted proof	Доказові обчислення	1
Q12111025 [CC \| ]	Yuriy Kovaliv	Ковалів Юрій Іванович	1
Q1174982 [CC \| ]	set of real numbers	Континуум (теорія множин)	1
Q2373971 [CC \| ]	foundational crisis of mathematics	Криза основ математики	1
Q12119991 [CC \| ]	Literaturoznavcha encyclopædia	Літературознавча енциклопедія	1
Q1948412 [CC \| ]	morphism	Морфізм	1
Q12139612 [CC \| ]	list	Перелік	1
Q12152998 [CC \| ]	coding system	Система кодування	1
Q12621536 [CC \| ]	judgment	Судження	1
Q2607208 [CC \| ]	typed lambda calculus	Типізоване лямбда-числення	1
Q49938 [CC \| ]	Peano arithmetic	Формальна арифметика	1
Q461 [CC \| ]	Internet Archive	互联网档案馆	1
Q539750 [CC \| ]	formalism	形式主义	1
Q1134306 [CC \| ]	synthesis	Анализ және синтез	1
Q343871 [CC \| ]	Definition	Анықтама	1
Q18603711 [CC \| ]	No label in en!	Атау	1
Q16924 [CC \| ]	János Bolyai	Больяй Янош	1
Q41 [CC \| ]	Greece	Грекия	1
Q25524570 [CC \| ]	No label in en!	Дедуктивті түсіндіру	1
Q12551983 [CC \| ]	No label in en!	Лобачевский геометриясы	1
Q1187945 [CC \| ]	law of thought	Логикалық заңдар	1
Q2101564 [CC \| ]	specification	Сипаттама	1
Q4530152 [CC \| ]	No label in en!	Эквиваленттілік	1
Q413 [CC \| ]	physics	Ֆիզիկա	1
Q814441 [CC \| ]	assertion	Påstand	1
Q4391911 [CC \| ]	Regel	Regel	1
Q11184319 [CC \| ]	Tegn	Tegn	1
Q11303017 [CC \| ]	self-evidence	不證自明	1
Q491558 [CC \| ]	Ibn Taymiyyah	ابن تیمیه	1
Q179759 [CC \| ]	Al-Kindi	ابویوسف کندی	1
Q1072174 [CC \| ]	linear system	سامانه خطی	1
Q18822 [CC \| ]	Global Positioning System	سامانه موقعیت‌یاب جهانی	1
Q2995634 [CC \| ]	study of complex systems	سامانه‌های پیچیده	1
Q1412694 [CC \| ]	knowledge-based system	سیستم پایگاه دانش	1
Q282883 [CC \| ]	Shihab al-Din Suhrawardi	شهاب‌الدین یحیی سهروردی	1
Q333703 [CC \| ]	Fakhr al-Din al-Razi	فخر رازی	1
Q863221 [CC \| ]	list of fallacies	فهرست مغالطه‌ها	1
Q92767 [CC \| ]	Lotfi A. Zadeh	لطفی زاده	1
Q16048464 [CC \| ]	No label in en!	منطق صوری	1
Q544 [CC \| ]	Solar System	منظومه شمسی	1
Q4893253 [CC \| ]	Paul the Persian	پولس ایرانی	1
Q65261876 [CC \| ]	No label in en!	Nededukciniai samprotavimai	1
Q12836481 [CC \| ]	Azerbaijan National Encyclopedia	Azərbaycan Milli Ensiklopediyası	1
Q2634919 [CC \| ]	Azerbaijani Soviet Encyclopedia	Azərbaycan Sovet Ensiklopediyası	1
Q28136779 [CC \| ]	Microsoft Academic	Microsoft Academic	1