Is there a consistent axiomatization of a stratified form of the Tarskian hierarchy, where stratification is meant in the sense of Quine's New Foundations ( extsf{NF})? In the following we propose a system of truth and abstraction, which might be regarded as an answer to the problem.