哪个是对的?a.真命题都是定理b.假命题不是定理c.真命题不是定理就是公理d.定理不一定是真命题