Language/Multiple-languages/Vocabulary/Mathematical-Logic

This is a part of the Sci–Tech Index, a project for science and technology learners.

In progress.

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка
set theory		集合论		jíhé lùn		Mengenlehre [f]		théorie [f] des ensembles		集合論		しゅ↑うご↓うろん		тео́рия мно́жеств
proof theory		证明论		zhèngmíng lùn		Beweistheorie [f]		théorie [f] de la démonstration, théorie [f] de la preuve		証明論		しょ↑うめ↓いろん		тео́рия доказа́тельств
model theory		模型论		móxíng lùn		Modelltheorie [f]		théorie [f] des modèles		モデル理論		モ↑デルり↓ろん		тео́рия моде́лей
computability theory, recursion theory		可计算性理论		kějìsuànxìng lǐlùn		Berechenbarkeitstheorie [f], Rekursionstheorie [f]		théorie [f] de la calculabilité		計算可能性理論		け↑いさんかのうせいり↓ろん		тео́рия вычисли́мости

Set Theory

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка
absolute complement	complement; subset
anticommutative property, anticommutativity	operation <mathematical logic>	反交换律		fǎnjiāohuàn lǜ		Antikommutativgesetz [n], Antikommutativität [f]
associative property, associativity	operation <mathematical logic>	结合律		jiéhé lǜ		Assoziativgesetz [n], Assoziativität [f]
binary operation, dyadic operation	operation	二元运算		èryuán yùnsuàn		zweistellige Verknüpfung, binäre Verknüpfung
binary relation	relation	二元关系		èryuán guānxi		binäre Relation		relation [f] binaire
cardinality	set
cardinal number	cardinality
codomain, set of destination	function; set
commutative property, commutativity	operation <mathematical logic>	交换律		jiāohuàn lǜ		Kommutativgesetz [n], Vertauschungsgesetz [n], Kommutativität [f]
complement	set	补集		bǔ jí		Komplement [n]		complémentaire [m]		差集合		さ↑しゅ↓うごう		ра́зность мно́жеств
continuum	cardinal number
countable set	subset; cardinality
distributive property, distributivity	operation <mathematical logic>	分配律		fēnpèi lǜ		Distributivgesetz [n], Distributivität [f]
domain, set of departure	function; set
element	object
empty set	set
enumeration	set
equality		相等		xiāng děng		Gleichheit [f]		égalité [f]
expression	digit; symbol	表达式, 表示式, 运算式		biǎodá shì, biǎoshì shì, yùnsuàn shì		Ausdruck [m]		expression [f]
extensionality, extensional equality	object
finite set	element
function	binary relation; set	函数		hán shù		Funktion [f]		fonction [f]
image	function; set
inequality	equality	不等		bù děng		Ungleichheit [f]		inégalité [f]
intersection	set
inverse image, preimage	codomain; subset
object
operand	operation	运算数, 运算元		yùnsuàn shù, yùnsuàn yuán		operand [m]
operation		运算		yùnsuàn		Verknüpfung
map	function
ordered pair	object
power set, powerset	subset; empty set
proper subset	subset
range	codomain; image
relation	set	关系		guānxi		Relation [f]
relative complement	complement; subset
set	element
subset	set
superset	set
tuple	element; sequence
union	set
unordered pair, pair set	set

Proof Theory

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

Model Theory

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

Computability Theory / Recursion Theory

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

* Appendix *

Adjective & Adjective Phrase; Verb & Verb Phrase

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

Symbol

Set Theory

symbol	eng-Latn-US: concept	cmn-Hans-CN: 概念	cmn-Latn.Pinyin-CN: gàiniàn	deu-Latn-DE: Begriff [m]	fra-Latn-FR: concept [m]	jpn-Jpan-JP: 概念	jpn-Hrkt-JP: が↓いねん	rus-Cyrl-RU: конце́пция
∈	element of
∉	not element of
∋	contain member
∌	not contain member
⊂	subset of; proper subset of
⊃	superset of; proper superset of
⊆	subset of
⊇	superset of
⊄	not subset of; not proper subset of
⊅	not superset of; not proper superset of
⊈	not subset of
⊉	not superset of
⊊	subset and not proper subset of
⊋	superset and not proper superset of
A, B, C, ...	set
a, b, c, ...	element

Process

eng-Latn-US: process	eng-Latn-US: constituent	cmn-Hans-CN: 过程	cmn-Hans-CN: 构件	cmn-Latn.Pinyin-CN: guòchéng	cmn-Latn.Pinyin-CN: gòujiàn	deu-Latn-DE: Prozess [m]	deu-Latn-DE: Bestandteil [m]	fra-Latn-FR: procès [m]	fra-Latn-FR: composant [m]	jpn-Jpan-JP: 過程	jpn-Jpan-JP: 構材	jpn-Hrkt-JP: か↑てい	jpn-Hrkt-JP: こ↑うざい	rus-Cyrl-RU: проце́сс	rus-Cyrl-RU: соста́вная часть

Related Free Educational Resources

branch	name	link	language	public license

Unmaintained! Moved to a Codeberg repository. Use Foam with VSCodium to visualise the content.

Sci–Tech Index

Introduction

---

Philosophy

Logic

Metaphysics

---

Mathematics Mathematical Logic Category Theory Number Theory Algebra Geometry Probability Theory Statistics Information Theory Mathematical Analysis Topology Discrete Mathematics Computational Science Physics Mechanics └ Structural Analysis └ Tribology Thermodynamics Optics Acoustics Electromagnetism Electronic Component Metrology └ Unit of Measurement Particle Physics Biology Cell Biology Chemistry Chemical Element Material Science └ Metallurgy Computer Science Technical Drawing Mechanical Engineering Mechanism Machine Element Metalworking Hydraulics and Pneumatics Theory of Inventive Problem Solving Software Engineering Computer Language Systems Science Chaos Theory Cybernetics └ Control Theory Robotics

Anthropology Psychology Linguistics

Sci–Tech Index is under the CC BY 4.0 license