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

[343 デフォルトの名無しさん 2014/09/23(火) 00:04:48.04 ID:FXTBDWVe]

とりあえず有限長の語の集合が無限集合になりうることくらいは理解してくれ。
証明が無限を扱うことと、証明長が有限なことは全然別の話。
プログラムにしても同様。