Common schema used to give an inductive definition of truth which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth