11/01/04 00:21:11
>>98
すれ違いになっちゃったけど・・・
> 記号、論理式をZFCの考察の対象とすること
これ自体は何の違和感も感じてないつもり。
ZFCを拡張してるなんてことも思ってないです。
ごめんなさい。何か決定的な勘違いしてるんじゃないかと不安になってきた。
11/01/04 00:21:11
>>98
すれ違いになっちゃったけど・・・
> 記号、論理式をZFCの考察の対象とすること
これ自体は何の違和感も感じてないつもり。
ZFCを拡張してるなんてことも思ってないです。
ごめんなさい。何か決定的な勘違いしてるんじゃないかと不安になってきた。