由客观现实总结出来的公理，就是数学中的“道”;由公理经过逻辑推理得出的定理