 First of all, the analysis of the Liar paradox starts out by specifying a formal requirement to be met in the semantical investigation of truth, i.e. “a materially adequate (sachlich zutreffende) definition” of the term “true sentence ” (wahre Aussage). This amounts to the celebrated schema (T), which can be roughly stated in simplified form as: