Tarski’s T-Schema

An adequacy condition for any definition of truth is that it implies conditionals of the form“‘p’ is true if and only if p” for every sentence of the language; some philosophers maintain that the T-Schema is also sufficient for any definition of truth.