Hello polyglots, 😀
On this page you will find a part of the Sci–Tech Index, a project for science and technology learners.
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
集合论 |
|
jíhé lùn |
|
Mengenlehre [f] |
|
set theory |
|
théorie [f] des ensembles [m pl] |
|
集合論 |
|
しゅ↑うご↓うろん |
|
|
|
тео́рия мно́жеств |
|
公理化集合论 |
|
gǒnglǐhuà jíhélùn |
|
axiomatische Mengenlehre |
|
axiomatic set theory |
|
théorie [f] axiomatique des ensembles [m pl] |
|
公理的集合論 |
|
こ↑うりてき↓しゅ↑うご↓うろん |
|
|
|
аксиомати́ческая тео́рия мно́жеств |
|
证明论 |
|
zhèngmíng lùn |
|
Beweistheorie [f] |
|
proof theory |
|
théorie [f] de la démonstration, théorie [f] de la preuve |
|
証明論 |
|
しょ↑うめ↓いろん |
|
|
|
тео́рия доказа́тельств |
|
模型论 |
|
móxíng lùn |
|
Modelltheorie [f] |
|
model theory |
|
théorie [f] des modèles [m pl] |
|
モデル理論 |
|
モ↑デルり↓ろん |
|
|
|
тео́рия моде́лей |
|
可计算性理论 |
|
kějìsuànxìng lǐlùn |
|
Berechenbarkeitstheorie [f], Rekursionstheorie [f] |
|
computability theory, recursion theory |
|
théorie [f] de la calculabilité |
|
計算可能性理論 |
|
け↑いさんかのうせいり↓ろん |
|
|
|
тео́рия вычисли́мости |
|
类型论 |
|
lèixíng lùn |
|
Typentheorie [f] |
|
type theory |
|
théorie [f] des types [m pl] |
|
型理論 |
|
か↑たり↓ろん |
|
|
|
тео́рией ти́пов |
|
代数逻辑 |
|
dàishù luóji |
|
algebraische Logik |
|
algebraic logic |
|
logique [f] algébrique |
|
|
|
|
|
|
|
алгебраи́ческая ло́гика |
|
逻辑代数,布尔代数 |
|
luóji dàishù, Bù'ěr dàishù |
|
boolesche Algebra, boolescher Verband |
|
Boolean algebra |
|
algèbre [f] de Boole, algèbre booléenne |
|
ブール代数,ブール束 |
|
ブ↑ールだ↓いすう,ブ↑ールそく |
|
|
|
а́лгебра ло́гики, а́лгебра выска́зываний |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Main
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
函数空间 |
|
hánshù kōngjiān |
|
Funktionenraum [m] |
|
function space |
set; function
|
espace fonctionnel |
|
|
|
関数空間 |
|
か↑んすうく↓うかん |
|
функциона́льное простра́нство |
|
数学对象 |
|
shùxué duìxiàng |
|
mathematisches Objekt |
|
mathematical object |
|
objet [m] mathématique |
|
|
|
数学的対象 |
|
す↑うがくてきた↓いしょう |
|
математи́ческий объе́кт |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Set Theory
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
参数 |
|
cān shù |
|
Argument [m] |
|
argument |
function
|
argument [m] |
|
引数 |
|
ひ↑きす↓う |
|
|
|
аксиомати́ческая тео́рия мно́жеств |
|
双射 |
|
shuāng shè |
|
Bijektion [f], bijektive Funktion |
|
bijection, bijective function, invertible function |
function; set
|
bijection [f] |
|
全単射,双射 |
|
ぜ↑んた↓んしゃ,そ↓うしゃ |
|
|
|
бие́кция |
|
二元运算 |
|
èryuán yùnsuàn |
|
zweistellige Verknüpfung, binäre Verknüpfung |
|
binary operation, dyadic operation |
operation
|
opération [f] binaire |
|
二項演算 |
|
に↑こうえ↓んざん |
|
|
|
бина́рная опера́ция, двуме́стная опера́ция |
|
势,浓度 |
|
shì, nóng dù |
|
Mächtigkeit [f], Kardinalität [f] |
|
cardinality |
set
|
cardinalité [f] |
|
濃度,カーディナリティ |
|
の↓うど,カ↑ーディナ↓リティ |
|
|
|
мо́щность |
|
基数 |
|
jī shù |
|
Kardinalzahl [f] |
|
cardinal number, cardinal |
cardinality
|
nombre cardinal, cardinal [m] |
|
基数 |
|
き↑す↓う |
|
|
|
кардина́льное число́ |
|
笛卡尔积 |
|
Díkǎ'ěr jī |
|
kartesisches Produkt, Mengenprodukt [n] |
|
Cartesian product |
ordered pair
|
produit cartésien |
|
直積,デカルト積 |
|
ちょ↑くせ↓き,デ↑カルトせ↓き |
|
|
|
прямо́е произведе́ние, дека́ртово произведе́ние |
|
选择函数 |
|
xuǎnzé hánshù |
|
Auswahlfunktion [f] |
|
choice function |
function; empty set; direct product <algebra>
|
fonction [f] de choix [m] |
|
選択関数 |
|
せ↑んたくか↓んすう |
|
|
|
фу́нкция вы́бора |
|
类 |
|
lèi |
|
Klasse [f] |
|
class |
set
|
classe [f] |
|
クラス,類 |
|
ク↓ラス,る↓い |
|
|
|
класс |
|
到达域,陪域,上域,终域 |
|
dàodá yù, péi yù, shàng yù, zhōng yù |
|
Zielmenge [f], Wertevorrat [m] |
|
codomain, set of destination |
function
|
ensemble [m] d'arrivée [f] |
|
終域 |
|
しゅういき |
|
|
|
о́бласть значе́ний |
|
连续统 |
|
liánxù tǒng |
|
Kontinuum [m] |
|
continuum |
cardinal number
|
continu [m] |
|
連続体 |
|
れ↑んぞくたい |
|
|
|
конти́нуум |
|
定义域 |
|
dìngyì yù |
|
Definitionsmenge [f], Definitionsbereich [m] |
|
domain, set of departure |
function
|
ensemble [m] de définition [f] |
|
定義域 |
|
て↑いぎ↓いき |
|
|
|
о́бласть определе́ния |
|
元素 |
|
yuánsù |
|
Element [n] |
|
element |
mathematical object
|
élément [m] |
|
元 |
|
げ↓ん |
|
|
|
элеме́нт |
|
列举法 |
|
lièjǔ fǎ |
|
Aufzählung [f] |
|
enumeration |
set
|
énumération [f] |
|
数え上げ |
|
か↑ぞえあげ |
|
|
|
перечисле́ние |
|
相等 |
|
xiāng děng |
|
Gleichheit [f] |
|
equality |
|
égalité [f] |
|
|
|
|
|
تَساوی |
|
|
|
表达式,表示式,运算式 |
|
biǎodá shì, biǎoshì shì, yùnsuàn shì |
|
Ausdruck [m] |
|
expression |
digit; symbol
|
expression [f] |
|
数式 |
|
す↑うしき |
|
|
|
выраже́ние |
|
外延性 |
|
wàiyán xìng |
|
Extensionalität [f] |
|
extensionality, extensional equality |
mathematical object
|
|
|
外延性 |
|
が↑いえんせい |
|
|
|
|
|
|
|
|
|
|
|
identity element, neutral element |
binary operation; set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
identity function, identity relation, identity map, identity transformation |
argument
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
image |
function; set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
indexed family, family |
set
|
|
|
|
|
|
|
|
|
|
|
不等 |
|
bù děng |
|
Ungleichheit [f] |
|
inequality |
equality
|
inégalité [f] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
injection, injective function, one-to-one function |
function
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inverse image, preimage |
codomain; subset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
mapping |
function
|
|
|
|
|
|
|
|
|
|
|
运算数,运算元 |
|
yùnsuàn shù, yùnsuàn yuán |
|
Operand [m] |
|
operand |
operation
|
|
|
|
|
|
|
|
|
|
|
运算 |
|
yùnsuàn |
|
Verknüpfung [f] |
|
operation |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ordinal number |
enumeration; ordinal numeral <linguistics>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
range |
codomain; image
|
|
|
|
|
|
|
|
|
|
|
关系 |
|
guānxi |
|
Relation [f] |
|
relation |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Russell's paradox, Russell's antinomy |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
set |
element
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
surjection, surjective function, onto function |
function
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
symmetric difference, disjunctive union |
intersection
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tree |
partially ordered set; well-ordered set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tuple |
element; sequence <number theory>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
universe |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
urelement |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Venn diagram |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
property of binary operation
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
property of binary operation |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
反交换律 |
|
fǎnjiāohuàn lǜ |
|
Antikommutativgesetz [n], Antikommutativität [f] |
|
anticommutative property, anticommutativity |
operation
|
|
|
|
|
|
|
|
|
|
|
结合律 |
|
jiéhé lǜ |
|
Assoziativgesetz [n], Assoziativität [f] |
|
associative property, associativity |
operation
|
|
|
|
|
|
|
|
|
|
|
交换律 |
|
jiāohuàn lǜ |
|
Kommutativgesetz [n], Vertauschungsgesetz [n], Kommutativität [f] |
|
commutative property, commutativity |
operation
|
|
|
|
|
|
|
|
|
|
|
分配律 |
|
fēnpèi lǜ |
|
Distributivgesetz [n], Distributivität [f] |
|
distributive property, distributivity |
operation
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
operation on set
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
operation on set |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
absolute complement |
complement; subset
|
|
|
|
|
|
|
|
|
|
|
补集 |
|
bǔ jí |
|
Komplement [n] |
|
complement, set difference |
set
|
complémentaire [m] |
|
差集合 |
|
さ↑しゅ↓うごう |
|
|
|
ра́зность мно́жеств |
|
|
|
|
|
|
|
intersection |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
power set, powerset |
subset; empty set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
relative complement |
complement; subset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
union |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
system of set theory
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
system of set theory |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Zermelo–Fraenkel set theory |
axiomatic system
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
type of set
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
type of set |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
countable set |
subset; cardinality
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
empty set |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
finite set |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fuzzy set, uncertain set |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
infinite set |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proper subset |
subset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
singleton. unit set |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
subset |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
superset |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
transitive set |
subset; urelement
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
universal set |
mathematical object
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
unordered pair, pair set |
set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
well-founded set |
transitive closure
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
well-ordered set |
well-order; total order; non-empty set; least element
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
binary relation
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
二元关系 |
|
èryuán guānxi |
|
binäre Relation |
|
binary relation |
relation
|
relation [f] binaire |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
connected relation, total relation |
binary relation
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
converse relation |
binary relation
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
equivalence relation |
reflexive relation; symmetric relation; transitive relation
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
finitary relation |
Cartesian product
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
symmetric relation |
binary relation
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
transitive relation |
binary relation
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
well-founded relation |
class; minimal element; empty set
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
well-order, well-order relation, well-ordering |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
function
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
函数 |
|
hán shù |
|
Funktion [f] |
|
function |
binary relation; set
|
fonction [f] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Boolean function |
argument; Boolean domain <algebra>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Boolean-valued function |
function; value; Boolean domain <algebra>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
complex-valued function |
function; value; complex number
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
functions of several complex variables |
argument; complex variable
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
function of several real variables, real multivariate function |
argument; real variable
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
integer-valued function |
function; value; integer
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ordered pair |
function
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
real-valued function |
function; value; real number
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Axiomatic Set Theory
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
amorphous set |
infinite set; disjoint union; subset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
normal function |
ordinal number; monotonically increasing function
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
axiom of choice
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
axiom of choice |
choice function
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
theorem in set theory
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
theorem in set theory |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
康托尔定理 |
|
Kāngtuō'ěr dìnglǐ |
|
Satz [m] von Cantor |
|
Cantor's theorem |
power set; cardinality
|
théorème [m] de Cantor |
|
カントールの定理 |
|
カ↑ント↓ールの↑て↓いり |
|
|
|
теоре́ма Ка́нтора |
|
|
|
|
|
|
|
well-ordering theorem, Zermelo's theorem |
well-order
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Proof Theory
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
mathematical induction |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sequent |
|
|
|
|
|
|
|
|
|
|
|
Model Theory
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
elementary equivalence |
structure; signature
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
signature |
non-logical symbol <logic>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
structure |
cardinality; arity
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computability Theory
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Type Theory
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
boolean type |
type
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
bottom type |
type
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
identity type, propositional equality |
equality; type
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
product type |
type
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
unit type |
type
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algebraic Logic
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
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: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Boolean Algebra
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
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: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
德摩根定律 |
|
Dé Mógēn dìnglǜ |
|
De-Morgansche Gesetze [n pl], De-Morgansche Regeln [f pl] |
|
De Morgan's laws |
conjunction; disjunction; negation
|
lois [f pl] de De Morgan |
|
ド・モルガンの法則 |
|
ド・↑モルガ↓ンのほ↑うそく |
|
зако́ны де Мо́ргана, пра́вила де Мо́ргана |
|
|
|
|
|
|
|
truth table |
expression
|
table [f] de vérité |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Appendix
Sentence
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]
|
eng-Latn-US: concept |
eng-Latn-US: prerequisite
|
fra-Latn-FR: concept [m] |
fra-Latn-FR: préalable [m]
|
jpn-Jpan-JP: 概念 |
jpn-Jpan-JP: 前提
|
jpn-Hrkt-JP: が↓いねん |
jpn-Hrkt-JP: ぜ↑んてい
|
pes-Aran-IR: مَفهوم |
pes-Aran-IR: پیشنیاز
|
rus-Cyrl-RU: конце́пция |
rus-Cyrl-RU: предпосы́лка
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Symbol
Set Theory
symbol
|
cmn-Hans-CN: 概念
|
cmn-Latn.Pinyin-CN: gàiniàn
|
deu-Latn-DE: Begriff [m]
|
eng-Latn-US: concept
|
fra-Latn-FR: concept [m]
|
jpn-Jpan-JP: 概念
|
jpn-Hrkt-JP: が↓いねん
|
pes-Aran-IR: مَفهوم
|
rus-Cyrl-RU: конце́пция
|
|
|
|
|
|
|
|
|
|
|
=
|
|
|
|
is equal to
|
|
|
|
|
|
≠
|
|
|
|
is not equal to
|
|
|
|
|
|
∈
|
|
|
|
is element of
|
|
|
|
|
|
∉
|
|
|
|
is not element of
|
|
|
|
|
|
∋
|
|
|
|
contains member
|
|
|
|
|
|
∌
|
|
|
|
does not contain member
|
|
|
|
|
|
⊂
|
|
|
|
is subset of; is proper subset of
|
|
|
|
|
|
⊃
|
|
|
|
is superset of; is proper superset of
|
|
|
|
|
|
⊆
|
|
|
|
is subset of
|
|
|
|
|
|
⊇
|
|
|
|
is superset of
|
|
|
|
|
|
⊄
|
|
|
|
is not subset of; is not proper subset of
|
|
|
|
|
|
⊅
|
|
|
|
is not superset of; is not proper superset of
|
|
|
|
|
|
⊈
|
|
|
|
is not subset of
|
|
|
|
|
|
⊉
|
|
|
|
is not superset of
|
|
|
|
|
|
⊊
|
|
|
|
is subset and not proper subset of
|
|
|
|
|
|
⊋
|
|
|
|
is superset and not proper superset of
|
|
|
|
|
|
A, B, C, ...
|
|
|
|
set
|
|
|
|
|
|
a, b, c, ...
|
|
|
|
element
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Proof Theory
symbol
|
cmn-Hans-CN: 概念
|
cmn-Latn.Pinyin-CN: gàiniàn
|
deu-Latn-DE: Begriff [m]
|
eng-Latn-US: concept
|
fra-Latn-FR: concept [m]
|
jpn-Jpan-JP: 概念
|
jpn-Hrkt-JP: が↓いねん
|
pes-Aran-IR: مَفهوم
|
rus-Cyrl-RU: конце́пция
|
|
|
|
|
|
|
|
|
|
|
⊢
|
|
|
|
proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Model Theory
symbol
|
cmn-Hans-CN: 概念
|
cmn-Latn.Pinyin-CN: gàiniàn
|
deu-Latn-DE: Begriff [m]
|
eng-Latn-US: concept
|
fra-Latn-FR: concept [m]
|
jpn-Jpan-JP: 概念
|
jpn-Hrkt-JP: が↓いねん
|
pes-Aran-IR: مَفهوم
|
rus-Cyrl-RU: конце́пция
|
|
|
|
|
|
|
|
|
|
|
⊨
|
|
|
|
model
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Process
cmn-Hans-CN: 过程 |
cmn-Hans-CN: 构件
|
cmn-Latn.Pinyin-CN: guòchéng |
cmn-Latn.Pinyin-CN: gòujiàn
|
eng-Latn-US: process |
eng-Latn-US: constituent
|
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: こ↑うざい
|
pes-Aran-IR: فَرآیَند |
pes-Aran-IR: هَمنِه
|
rus-Cyrl-RU: проце́сс |
rus-Cyrl-RU: соста́вная часть
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Resource under a Public License
Unmaintained! Moved to a Codeberg repository. Use Foam with VSCodium to visualise the content.