11/01/03 09:50:46
おはよう。
誰が誰やらわからんけど、>>82の言うとおりの流れだと思ってる。
>>84の
>公理的集合論を組み立てていくときに・・・必要ない情報
も、必要な部分だけつまみ食いすればいいだけという意味であってると思うが、
論理式の集合がZFCのモデルになっていると素直には認められないんで、その点で
いろんな立場があり得るんじゃないかと考えてる。
またその流れで>>62の疑問も出てきてる。
11/01/03 09:50:46
おはよう。
誰が誰やらわからんけど、>>82の言うとおりの流れだと思ってる。
>>84の
>公理的集合論を組み立てていくときに・・・必要ない情報
も、必要な部分だけつまみ食いすればいいだけという意味であってると思うが、
論理式の集合がZFCのモデルになっていると素直には認められないんで、その点で
いろんな立場があり得るんじゃないかと考えてる。
またその流れで>>62の疑問も出てきてる。