Sistema formal

En matemáticas y lógica, es un conjunto de axiomas, reglas de inferencia y símbolos que se utiliza para expresar y razonar sobre conceptos matemáticos o lógicos. Los sistemas formales se utilizan para probar teoremas y hacer deducciones.

« Back to Glossary Index

Entradas relacionadas