2011明けましたおめでとう
>>63
各 A_i+1 または ¬A_i+1 を追加する箇所でどっちが無矛盾か判定する手続きはないから作ることはできないよね。
「作ることができる」じゃなくて「存在するよ」だったら言えるのか。
枚挙された閉論理式の集合の冪集合の中に「すべてをうまく選んだ例」が一つは存在するよ、って主張だろうか。
選択公理の使用だけじゃなく他にもいろいろ気になるなあ。