De esto se ocupa la lógica de primer orden.