deduction theorem

Türkçe: tümdengelim teoremi

Açıklama: Tümdengelim teoremi; mantıkta ispat sisteminin tamlığı