Actualmente existe un número importante de resultados sobre las propiedades de los sistemas lógicos tanto de primer orden como de segundo orden.