3 ms·No, but why is that a problem?by plutooo 11y agoNo, but why is that a problem?mafribe 11y agoIt's an indication, a hint, that rules and axioms are not always completely exchangable.