真命题与公理、定理