定理是人为定义的`
公理是经过反复论证的事实
推论是不存在的人们进行假象后实验证明出来的`