Chasse à la citation

L’extrait ci-dessous de Wikipédia n’est pas soutenu par une source fiable. Pouvez-vous en trouver une ?

Cliquez sur J’ai compris ! pour aller sur Wikipédia et corriger le fragment de code ou Suivant ! pour en voir un autre. Bonne chance !

Sur la page Calcul des prédicats :

Ce texte est extrait de l’en-tête de l’article, si bien qu’y ajouter des références peut être facultatif. Consultez WP:INTRO pour plus d’informations.

"

En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle[réf. nécessaire], ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle[1], philosophie et linguistique. Il a été proposé par Gottlob Frege[2] comme une formalisation du langage des mathématiques entre la fin du XIXe siècle et le début du XXe siècle. La logique du premier ordre comporte deux parties :