Тарский говорит о больших или меньших дедуктивных системах или классах следствий. Действительно, множество дедуктивных систем для некоторого языка частично упорядочено отношением включения, совпадающим с отношением выводимости. Следующее замечание, высказанное Тарским в его работе об исчислении систем, можно использовать как ключ к релятивизации классов следствий, или содержаний, или дедуктивных систем: "среди дедуктивных систем существует наименьшая, то есть являющаяся подсистемой всех других дедуктивных систем. Это система — множество следствий пустого множества. Эта система, может интерпретироваться как множество всех логически верных предложений или, в более общем виде, как множество всех тех предложений, которые мы признаем за истинные с самого начала, когда принимаемся строить дедуктивную теорию, являющуюся предметом... нашего исследования".