Discussion:Induction structurelle

	Tâches à accomplir pour Induction structurelle	aide
	Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article : Modèle {{ Lien web }} : l'argument «  adresse = [[Université du Maryland]], College Park  » ne fait pas partie des arguments gérés par le modèle {{ Lien web }} (dans «  Bibliographie  ») -- 9 août 2021 à 14:46 (CEST)

à sourcer

 ContributorQ : Vous avez ajouté l'entête à sourcer alors que l'article, somme toute assez court, comporte quatre références. Pourriez-vous être plus précis et indiquer ce qu'il faut faire de plus. --Pierre de Lyon (discuter) 31 décembre 2017 à 10:32 (CET)

Bonjour, il y a bien une section « Bibliographie », mais aucune référence n'est liée au texte. Il manque une section « Notes et références » dans laquelle doivent apparaître les références associées aux phrases ou paragraphes du texte.
J'ai cependant remplacé le modèle en question par le modèle {{Sources à lier}}, plus précis, ce qui ne change rien au problème à résoudre.
Bonnes fêtes de fin d'année, et, tant que j'y suis : bonne année 2018 ! --ContributorQ^(✍) 31 décembre 2017 à 17:58 (CET)

La section « Caractéristique » doit être nettoyée de son jargon

La section « Caractéristique » doit être nettoyé de son jargon et même d’affirmations incorrectes. Ainsi « La définition récursive ... est ... créatrice d'objets. ». Non une définition récurive déinit des objets.

D'autre part la phrase « Ainsi contrairement à l'axiome, les règles de construction d'une récurrence bien fondée ne peuvent créer l'incohérence » m'est incompréhensible. Pierre Lescanne (discuter) 24 août 2023 à 12:39 (CEST)