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-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	jpn-Jpan-JP: 概念	jpn-Jpan-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-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	jpn-Jpan-JP: 概念	jpn-Jpan-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-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	jpn-Jpan-JP: 概念	jpn-Jpan-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-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	jpn-Jpan-JP: 概念	jpn-Jpan-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-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

* Appendix *

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-Hrkt-JP: がいねん	jpn-Jpan-JP: 概念	rus-Cyrl-RU: конце́пция
∈	element of
∉	not element of
∋	has as member
∌	not has as 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

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-Hrkt-JP: かてい	jpn-Hrkt-JP: こうざい	jpn-Jpan-JP: 過程	jpn-Jpan-JP: 構材	rus-Cyrl-RU: проце́сс	rus-Cyrl-RU: соста́вная часть

Related Free Educational Resources

branch	name	link	language	public license

-- AUTHOR --

GrimPixel