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

[337 デフォルトの名無しさん 2014/09/22(月) 22:23:43.15 ID:UZeuYMIm]

>>336
どういう用途に使うかに強く依存する。
たとえば、プログラムコードは有限だから、それを有限集合で表現するのは可能だろう。
最初に何に使うのかが決まらないと、有限・無限はどうするか決まらない。