Discuter:Système à la Hilbert
Un article de Wikipédia, l'encyclopédie libre.
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)