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
proof theory
model theory
computability theory, recursion theory

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 (set theory); subset
binary operation	element (mathematics)
cardinality	set (set theory)
codomain, set of destination	function (set theory); set (set theory)
complement (set theory)	set (set theory)
continuum (set theory)	real number <arithmetic>
countable set	subset; cardinality
domain (set theory), set of departure	function (set theory); set (set theory)
element (set theory)	object (mathematics)
empty set	set (set theory)
enumeration	set (set theory)
extensionality, extensional equality	object (mathematics)
finite set	element (set theory)
image (set theory)	function (set theory); set (set theory)
intersection (set theory)	set (set theory)
inverse image (set theory), preimage	codomain; subset
map (set theory)	function (set theory)
ordered pair	object (mathematics)
power set, powerset	subset; empty set
proper subset	subset
range (set theory)	codomain; image (set theory)
relative complement	complement (set theory); subset
set (set theory)	element (set theory)
subset	set (set theory)
superset	set (set theory)
tuple	element (mathematics); sequence (mathecatics)
union (set theory)	set (set theory)
unordered pair, pair set	set (set theory)

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

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: предпосы́лка

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

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 (set theory)
a, b, c, ...	element (set theory)

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