14/07/01 00:28:18.02
>>212
二つの公理系があるとき、一方の公理系を他方の公理系が
裸にできるという「公理系相互エントロピー論」の構築ですか。
壮大な研究ですね。どうか一生費やしてください。応援はできません。
傍観するだけデスが。
14/07/01 00:28:18.02
>>212
二つの公理系があるとき、一方の公理系を他方の公理系が
裸にできるという「公理系相互エントロピー論」の構築ですか。
壮大な研究ですね。どうか一生費やしてください。応援はできません。
傍観するだけデスが。