a proposition deducible from basic postulates.

• 从基本公设推论出的命题。