12/02/02 21:34:56.20
┌∩┐(◣_◢)┌∩┐
一階述語論理の言語にZFCの公理系を添加したものと∈-モデルからなる数学は、
厳密に分離することが出来ない、これは実際に展開してみないと気付きにくい。
例えばキューネンなどの本では述語論理の箇所が省略されているので気付けない。
>>465の本の冒頭が参考になる。
12/02/02 21:34:56.20
┌∩┐(◣_◢)┌∩┐
一階述語論理の言語にZFCの公理系を添加したものと∈-モデルからなる数学は、
厳密に分離することが出来ない、これは実際に展開してみないと気付きにくい。
例えばキューネンなどの本では述語論理の箇所が省略されているので気付けない。
>>465の本の冒頭が参考になる。