13/10/17 23:27:33.42
>310
>自然数すべての集合と同じくらい根拠なし（思い込みに過ぎない）、ってことですよね。
根拠なしというのは間違い。自然数がペアノ公理で定義されているのと同様に、
論理式（言語）も再帰的定義(>278)で定義されているよ。
再帰的定義を認めない立場なら自然数も論理式も根拠無しになるけど、
そんな立場の人間と論理学の話はできないわな。
13/10/17 23:27:33.42
>310
>自然数すべての集合と同じくらい根拠なし（思い込みに過ぎない）、ってことですよね。
根拠なしというのは間違い。自然数がペアノ公理で定義されているのと同様に、
論理式（言語）も再帰的定義(>278)で定義されているよ。
再帰的定義を認めない立場なら自然数も論理式も根拠無しになるけど、
そんな立場の人間と論理学の話はできないわな。