Discuter:Système à la Hilbert
Un article de Wikipédia, l'encyclopédie libre.
 |
Système à la Hilbert fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser. |
| Ébauche | Cet article a été classé comme d'Avancement ébauche selon le Tableau d'évaluation du projet. (Voir les statistiques) |
| À évaluer | Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet. |
Création à partir d'un paragraphe initialement contenu dans calcul des propositions et visant à réduire ce dernier article à l'essentiel. Le présent article est à modifier et à compléter Theon 3 février 2006 à 18:20 (CET)
[modifier] Axiome faux
Hum, je n'avais pas remarqué mais le troisième axiome donné ((P ou Q) -> (Q -> P)) est faux. Je change le système. De toute façon ce choix de connecteurs primitifs (ou et non) n'est pas bon du point de vue pédagogique.
Laurent de Marseille 6 février 2006 à 09:43 (CET)
[modifier] Fusion
Il faudrait fusionner le présent article avec l'article axiome logique. Theon 27 février 2006 à 09:22 (CET)
- Oui. Laurent de Marseille 28 février 2006 à 23:50 (CET)
