Similar to 存在記号
Smn定理
Smn theorem
アルゴリズム
Algorithm▼-1 trends
Μ再帰関数
General recursive function
ISO 80000-2
ISO 80000-2
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
0
0
1
1▼-7 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
量化
Reteアルゴリズム
Rete algorithm一意性 (数学)
Uniqueness quantification
イプシロン-デルタ論法
(ε, δ)-definition of limit▲2 trends
概念記法
Begriffsschrift
限量子
数量詞
Quantifier (linguistics)
任意
Arbitrariness
ゴットロープ・フレーゲ
Gottlob Fregeモンタギュー文法
Montague grammar
約物