bevisteori
Bevisteori, studiet af formelle deduktive bevisers egenskaber. Bevisteori — navnet blev indført af David Hilbert i 1922 — er en hoveddisciplin i moderne logik. Hilberts bevisteori søgte at vise, at matematikken kunne formuleres i formelle systemer, at alle matematiske beviser kunne udtrykkes