13/10/18 02:35:22.26
>323
>集合とかクラスが「いや」とかぜんぜん言ってません。
じゃあ話を戻すか。
>292の通り、任意の記号列についてその記号列が論理式に属するか属しないかを
決めることができるのならば、論理式となる記号列を集めた集合を考えることができるよ。
論理式の集合が根拠無しというのならば、そもそも集合の定義を認めていないか、
あるいは>292を理解していないかのどちらかになりそうだね。
13/10/18 02:35:22.26
>323
>集合とかクラスが「いや」とかぜんぜん言ってません。
じゃあ話を戻すか。
>292の通り、任意の記号列についてその記号列が論理式に属するか属しないかを
決めることができるのならば、論理式となる記号列を集めた集合を考えることができるよ。
論理式の集合が根拠無しというのならば、そもそも集合の定義を認めていないか、
あるいは>292を理解していないかのどちらかになりそうだね。