由公理或定理直接推出的真命题叫什么?