n. （尤指数学）定理( theorem的复数形式 ); 命题; 原理; 原则

n. a proposition deducible from basic postulates

n. an idea accepted as a demonstrable truth