noun. ['ˈθɪrəm'] a proposition deducible from basic postulates.
noun. ['ˈθɪrəm'] an idea accepted as a demonstrable truth.