>>238
そうか。気が楽になったｗ
このスレの最初のほうに書いてあるけど述語論理の定義には
ZFCが使われてるわけ？確かにアルファベットが可算無限個
あるっていう言語の定義があるよね。集合の言語を定義する前なのに。
それに、証明論の発想ですごいと思ったのは意味と構文を分けて、
言語ってのは目の間にある単なる文字列、物体みたいなものと
認識する考え方なのにそれが無限個あるっていうのは分からない。
目の前に転がってる文字とそれを使った有限回の操作っていうので
客観性を担保したと思ったら無限個を持ち出されたら一貫性がないというか。
俺一人が質問の嵐ｗで申し訳ない。質問できる人いないんだよね。