Formeel systeem

Een formeel systeem is een combinatie van een formele taal en een verzameling afleidings- of transformatieregels of axioma's die zinnen in de formele taal omzetten in nieuwe zinnen. Formele systemen worden gebruikt als formeel bewijs. Vrijwel alle formele systemen maken gebruik van de axiomatische methode om nieuwe uitdrukkingen af te leiden uit oude die eerder in het systeem zijn uitgedrukt. De oude uitdrukkingen die worden verondersteld waar te zijn worden axioma's genoemd, de nieuwe uitdrukkingen heten stellingen.