经过证明的真命题称为_,公理是不需要_的真命题.

问题描述:

经过证明的真命题称为______,公理是不需要______的真命题.

经过证明的真命题称为定理,公理是不需要证明的真命题.