What mathematical theories of truth should be (and can be)

Abstract

Hannes Leitgeb formulated  eight norms for theories of truth in his paper: `What Theories of Truth Should be Like (but Cannot be)'.We shall  present in this paper a mathematical theory of truth for suitably constructed languages which contain all sentences of the first-order language of set theory, and prove that it satisfies all those norms.