经过证明的真命题称为________，公理是不需要________的真命题．

经过证明的真命题称为_____，公理是不需要_____的真命题。