我觉得常识不是在正确之外，而是正确里的一个子集，就像几何定理都包含在公理里面，但是推

导出定理做常识，用起来比较方便。不需要再从头推论。

三角形内角和是180度，就是个常识，是个定理，也符合公理。

如果某个定理（常识）因为人为原因推理错了，那不是故意对立，不是另起一套，故而，发现了也可以改。