Dowód jestem elementarnym pojęciem w matematyce.
Porządna teoria matematyczna składa się z definicji, twierdzeń i dowodów. Definicja ma na celu wprowadzenie nowych pojęć, uściślenie ich i ogólne zarysowanie ram danego przedmiotu. Twierdzenia są pewnymi faktami na temat pojęć określonych w definicjach - wyrażają one prawidłowości łączące ze sobą te pojęcia, określają dozwolone na nich operacje, itd. Dowód natomiast jest tym, co sprawia, że twierdzenia mają moc - jest pokazaniem, że prawda zawarta w twierdzeniu faktycznie odnosi się do pojęć na początku zdefiniowanych.