¿Cuál es la composición de un sistema deductivo formal de primer orden?