多変数述語を、集合と見る視点
述語は集合と同一視できる
ある述語$ Aを
$ A(x)\iff x\in\alphaで定義すれば、
ある元$ xが集合$ \alphaの要素かどうかを関数で表現できる
多変数述語を1変数述語と同一視する
例えば、2変数述語A(x,y)を1変数述語A(left(x),right(x))で表す
こういう自然数にコード化するpair関数みたいな考えって割と一般的なんだなmrsekut.icon
1変数述語を集合と同一視する
Σn集合、Πn集合