>679
>だったらこれに君の公理「AB=CDならばA=CかつB=D」を適用すればa=b,b=aだろ？
これのどこが間違いなの？

「AB=CDならばA=CかつB=D」とは、どういう意味かを、教えていただけないでしょうか。