n. a proposition deducible from basic postulatesn. an idea accepted as a demonstrable truth
n. （尤指数学）定理( theorem的复数形式 ); 命题; 原理; 原则