公理：目前大家都认可的,一定成立的命题.
定理：利用公理等相关知道,通过计算和证明验证其成立的命题.
推论：一般是对定理的补充和完善（当然也必须为真命题）.
ps：好久没看书了.