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