Analytic (thing)

Logic: Necessarily true by virtue of the meaning of its component terms alone, without reference to external fact, and with its denial resulting in self-contradiction.

Synonym: tautologous
Compare: synthetic