13/10/19 14:27:46.22
>>336
>>314で言ってる↓
> これに対して有限の論理式の集合や無矛盾性は素朴で具体的な概念です。
> 無矛盾性の問題が「すべての論理式の集合」の存在に依存するんなら、その存在証明が欲しい。
> そうでなく、「すべての論理式」という概念を使わない定義があるならそれが欲しい。
すべての論理式の集合よりも無矛盾性の方が素朴な概念と決めつけてるようだが？
13/10/19 14:27:46.22
>>336
>>314で言ってる↓
> これに対して有限の論理式の集合や無矛盾性は素朴で具体的な概念です。
> 無矛盾性の問題が「すべての論理式の集合」の存在に依存するんなら、その存在証明が欲しい。
> そうでなく、「すべての論理式」という概念を使わない定義があるならそれが欲しい。
すべての論理式の集合よりも無矛盾性の方が素朴な概念と決めつけてるようだが？