11/01/02 11:45:49
集合論とかの道具を使っていいのかってよりも、成り立たない場合をどう考えればいいのか、とか
正直よくわからないんだよねー。
あれから少しぐぐったところ完全性定理への選択公理の使用有無については
>>63と同じ様なこと書いてあるサイト見つけたんだけど、
URLﾘﾝｸ(ysserve.int-univ.com)
やっぱり冪集合公理や選択公理を使用してるのかしてないのか、成り立つとしていいのか
ダメなのかについて理解が進展しないや。
11/01/02 11:45:49
集合論とかの道具を使っていいのかってよりも、成り立たない場合をどう考えればいいのか、とか
正直よくわからないんだよねー。
あれから少しぐぐったところ完全性定理への選択公理の使用有無については
>>63と同じ様なこと書いてあるサイト見つけたんだけど、
URLﾘﾝｸ(ysserve.int-univ.com)
やっぱり冪集合公理や選択公理を使用してるのかしてないのか、成り立つとしていいのか
ダメなのかについて理解が進展しないや。