数学基礎論・数理論理学 その15 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0435132人目の素数さん
2015/01/07(水) 23:33:30.78ID:qhwNSNwDp.74でtermの定義が,
「The set of terms is the set of expressions that can be built up from the constant symbols and variables by applying (zero or more times) the Ff operations.」
となっていますが,「the constant symbols and variables」の「and」は「or」の方が正しくないでしょうか.
ちなみにFf operationは
Ff(ε1, ..., εn) = fε1, ..., εn
となっています.
■ このスレッドは過去ログ倉庫に格納されています