公理是不用证明就一定正确的，就是Naturgesetz~~~

定理是analytischer Satz，只在前题正确，数学和逻辑推理过程也正确的情况下，才是正确的~~

定理在被证明是错误之前，都是正确的，只要上面的条件成立~~


唉，跑题了