A Mathematical Theory of Truth and an Application to the Regress Problem. NS 2015, 22 (2).