エルブラン領域
/mrsekut-book-4007305803/068
WIP
言語
$ L
の中の定数記号と、関数記号を用いて得られる
基礎項
全体の集合
$ U
エルブラン領域を
対象領域
にすれば、
$ L
に含まれる全ての、変数と関数の解釈が決まるね
mrsekut.icon