Propositions that state nothing beyond what is implied in any of the expressed terms. By extension, any true statements or ideas that are considered to be self-evident, often restricted to truth that is of minor importance; statements so obviously true as not to require or deserve discussion. (en)