20/02/17 23:20:50.92 l47ysur2.net
まぁ別にzfcでは表現しにくい話があるなら新しい論理記号でもなんでも追加するのはいいと思うけど。
その新しい理論がzfcから見て保存拡大である事が示せれば文句なし。
そこまでは無理でも新しい理論の無矛盾性がzfcの無矛盾性を仮定すればでてくるなら少なくとも意味はある。
どっちも示されてないのでは流石に意味ない気はする。
20/02/17 23:20:50.92 l47ysur2.net
まぁ別にzfcでは表現しにくい話があるなら新しい論理記号でもなんでも追加するのはいいと思うけど。
その新しい理論がzfcから見て保存拡大である事が示せれば文句なし。
そこまでは無理でも新しい理論の無矛盾性がzfcの無矛盾性を仮定すればでてくるなら少なくとも意味はある。
どっちも示されてないのでは流石に意味ない気はする。