Sistema de Hilbert

Un marco de prueba axiomático que establece derivaciones aplicando un pequeño conjunto fijo de esquemas axiomáticos junto con modus ponens (y a menudo sustitución) como reglas de inferencia principales, enfatizando la axiomatización compacta sobre el significado granular de las reglas.