À ce stade, il faut également considérer que la logique des prédicats n'est pas utilisée uniquement pour prouver qu'un ensemble particulier de prémisses implique une preuve particulière...