Formeel systeem
Uit Wikipedia, de vrije encyclopedia
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.
Voorbeelden van formele systemen zijn de propositie-, predicaten- en andere logica's.
Een formeel systeem kan zelf worden bestudeerd aan de hand van zijn intrinsieke eigenschappen, of worden gebruikt als model om externe verschijnselen mee te beschrijven.