Подобным типом, они не просто пускают экстенсионал предиката правды, но гарантируют улучшение каждого преходящего экстенсионала, какой умел бы быть предложен. В ревизионной теории равнозначность образа ( 1 ) понимается как владеющий предположительный норов. равнозначности Тарского полновесно назначают представление правды, но только в мочь особой роли, отстраненной им в соответствии с ревизионной теорией — а именно, они пускают метод для приобретения все лучших и лучших приближений экстенсионала предиката правды.