11/01/03 17:58:45
>>89
論理式の長さやその総数に制約を付けないという前提で
A ∧ not Aの証明があるか、ないか
を問題にしてるんですよね？
論理式や証明というものが無限にある、という主張などいちいちせずとも構文論的な考察はできる
というのが「無限集合を扱う必要はない」という意味でしょうか？
>>88
中段と後段はわかります。なので
「論理式の集合がZFCのモデルになってると証明できない（←当然だが）だけでなく、
モデルになっていないと感じている」
ぐらいの言い方に変更します。