Carnap's c-terms are defined purely by derivability relations within a calculus, requiring no refere...