formeel bewijs

Onder formeel bewijs wordt in de formele wetenschap een eindige reeks proposities (in het geval van formele taal spreekt men van goedgevormde formules) binnen het kader van de beschrijving van formele systemen verstaan, waarbij elk axioma door middel van afleidingsregels uit de vorige of voorafgaande propositie kan worden afgeleid. De afgeleide propositie heet een stelling. Het afleiden van een stelling wordt beschouwd als een logisch gevolg van de voorafgaande formules. Een logische consequentie is het resultaat van het deductieve systeem van een formeel systeem.