logische Operation, die unter Zuhilfenahme von allgemein akzeptierten Gedankengängen aus schon gegebenen Voraussetzungen neue Erkenntnisse gewinnt.

Die in mathematischen Beweisen benutzten Schlüsse müssen logisch korrekt sein, d. h., sie müssen von wahren Voraussetzungen zu wahren Behauptungen führen. Die mathematische Logik präzisierte den Beweisbarkeitsbegriff, indem sie inhaltlich geführte mathematische Beweise in kleinste Bausteine zerlegte. Dazu wurde zunächst die Gültigkeit von formalisierten Aussagen in algebraischen Strukturen definiert, gewisse unbeweisbare Grundkenntnisse (Axiome) an den Anfang gestellt und mit Hilfe logisch korrekter Operationen aus den Grundkenntnissen und evtl. weiteren angenommenen Voraussetzungen neue Kenntnisse hergeleitet. Zu den Grundkenntnissen gehören fundamentale mengentheoretische Annahmen (Axiome der Mengenlehre), die die klassische Mathematik benötigt, und logische Axiome, die geeignet sind, die klassische Mathematik zu begründen.

Ein Beweis im Sinne der mathematischen Logik ist eine endliche Folge (ϕ₁,…,ϕ_n) von formalen Ausdrücken einer zugrundegelegten Sprache, wobei die Folgeglieder gewissen Bedingungen genügen. Für jedes Glied ϕ_i des Beweises gilt eine der folgenden Bedingungen:

• ϕ_i ist ein logisches Axiom, oder
• ϕ_i ist eine dem Beweis zugrundegelegte Voraussetzung, d. h., ϕ_i ∈ Σ, wobei Σ die Menge der Voraussetzungen ist, unter denen der Beweis geführt werden soll, oder
• ϕ_i ist eine direkte Konsequenz vorhergehender Folgeglieder, d.h, ϕ_i wird mit Hilfe zuvor fixierter formaler Beweisregeln aus Folgegliedern ϕ_i mit j< i erhalten (z. B. mit Hilfe der Abtrennungsregel).

Ist Σ eine Menge von Ausdrücken (Voraussetzungen) und (ϕ₁,…,ϕ_n) ein Beweis, der nur die Voraussetzungen aus Σ benutzt, und ist ϕ_n = ϕ, dann heißt (ϕ₁,…,ϕ_n) Beweis für ϕ aus Σ.

In der Mathematik hat man im Laufe der Zeit eine Fülle effizienter Beweismethoden entwickelt. Man vergleiche hierzu auch Beweistheorie.