10/12/31 19:08:16
>>57
あ、そこまでは言ってないや。
でもZornの補題とほぼ同じような論拠で極大理論をもってきてるでしょ。
理論＝公理の集合。つまりは式、というか文字列の集合だし、そんなものが
ZFC（の一部かな？）のモデルになってるわけないや、と。
10/12/31 19:08:16
>>57
あ、そこまでは言ってないや。
でもZornの補題とほぼ同じような論拠で極大理論をもってきてるでしょ。
理論＝公理の集合。つまりは式、というか文字列の集合だし、そんなものが
ZFC（の一部かな？）のモデルになってるわけないや、と。