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

Se ävenRedigera

KällorRedigera

  • Philosophy of Natural Science, Carl Gustav Hempel, Studentlitteratur, Lund 1977.