Вывод теоремы часто интерпретируется как доказательство истинности полученного выражения, но различные дедуктивные системы могут давать другие интерпретации, в зависимости от значений правил вывода.
Некоторые теоремы тривиальны, они непосредственно следуют из предложений.