17/10/31 23:18:35.07 0sMM/oG1.net
>>912
「それ」の意味が不明
構成を要する主張は最初にあなたがしたはず
>>913
「a∈∈b が論理式ではない」という主張が出来ないならしない、という立場ですよ僕は。
実際出来ないかもしれないし。
出来なくてもたとえば集合論の定理を証明していければ支障ないんだろうし。
17/10/31 23:18:35.07 0sMM/oG1.net
>>912
「それ」の意味が不明
構成を要する主張は最初にあなたがしたはず
>>913
「a∈∈b が論理式ではない」という主張が出来ないならしない、という立場ですよ僕は。
実際出来ないかもしれないし。
出来なくてもたとえば集合論の定理を証明していければ支障ないんだろうし。