Tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento: