集合論に基づいた言語を作りたい

[313 デフォルトの名無しさん 2014/09/21(日) 22:44:17.86 ID:eogfeBgw]

>>308
>無限集合は扱わない
>内包的表記は有限集合だけに使えるようにする

こういうのはどうするんだ?

p(a,b) : a,bは(0以外の)自然数で、aはbで割り切れる
としたとき、
{x|p(x,1)} = {1,2,3,…}
{x|p(1,x)} = {1}