我覺得常識不是在正確之外，而是正確裏的一個子集，就像幾何定理都包含在公理裏麵，但是推

導出定理做常識，用起來比較方便。不需要再從頭推論。

三角形內角和是180度，就是個常識，是個定理，也符合公理。

如果某個定理（常識）因為人為原因推理錯了，那不是故意對立，不是另起一套，故而，發現了也可以改。