I matematik och logik är ett direkt bevis, en deduktion av ett påstående, som enbart bygger på teorins axiom, lemman och teorem.