(noun.) an idea accepted as a demonstrable truth.
(noun.) a proposition deducible from basic postulates.
校对:凯特
整理:泰勒