If these axioms are to be formulated for a language like set theory that lacks names for all objects, then axioms 5 and 6 require the use of a satisfaction relation rather than a unary truth predicate.