If contains a name for each object in, and a denotation relation is defined (if is nondenumerable, this means that contains nondenumerably many constants), the notion of satisfaction can (for most purposes) effectively be replaced by that of truth:.g., instead of talking of A(x) being satisfied by an object