Las propiedades más importantes que se pueden demostrar de los sistemas lógicos son: