Discusión:Sistema axiomático

Carencias

Un sistema axiomático supone :

• Conceptos primitivos
• definiciones
• axiomas
• teoremas

Ejemplo: el grupo.

• Conceptos primitivos: conjunto, conjunto vacío, operación binaria.
• Axiomas: ley asociativa, existencia del neutro, existencia del simétrico.
• Definiciones: de grupo abeliano, de grupo cíclico, de subgrupo, de orden de un grupo, índice de un subgrupo.
• Teorema "la intersección de subgrupos de G es un subgrupo". --Julio grillo (discusión) 18:47 18 dic 2011 (UTC)

Fusión

Este artículo trata temas muy poco diferenciados de sistema formal. De hecho, supuestamente un sistema axiomático es un tipo particular de sistema formal, pero los sistemas formales que no son sistemas axiomáticos en sí no son muy interesantes. Gran parte de las cuestiones importantes sobre sistemas axiomáticos de hecho ahora están recogidos en sistema formal pero no aquí, por lo que los dos temas podrían ser fundidos en un solo artículo mucho más coherente y completo. Propongo fusionarlos --Davius (discusión) 00:07 3 ene 2013 (UTC)

 A favor de la fusión. Que el concepto central esté desarrollado en un solo artículo, en sistema formal, y para no dejar la entrada [Sistema axiomático] vacía, en lugar de redirección hacia [Sistema formal] se podría escribir un breve párrafo en una entrada similar a fr:Axiomatisation. --Jerowiki (discusión) 12:47 8 ene 2013 (UTC)

No estoy seguro. A primera vista parece razonable. Habria que trabajar un poco a fin de eliminar posibles desencuentros pero, en principio, parece razonable. Sin embargo, hay articulos diferentes para ambos conceptos tanto en ingles como aleman y frances. Y mientras que Sistema formal enlaza a "Formal system"; "Formales System" y "Système formel" respectivamente; "Sistema axiomático" enlaza a "Axiomatic system" en ingles y a "Axiomensystem" en aleman (que ademas tiene "Axiomatisierung" -axiomatización - que no enlaza a ningun otro idioma). En frances hay dos ("Axiomatisation" y "Théorie axiomatique") que enlazan a Sistema axiomático. Mirando con un poco mas cuidado, parece que el articulo nuestro es principalmente una traduccion parcial del ingles (cuya introduccion es bastante similar al del aleman). Asi que, si fusionamos los nuestros tendriamos un solo articulo enlazando por lo menos a dos (y generalmente a 3) en esas wikis. Un monton de informacion a incorporar. Quizas con la discucion se clarifique. Lnegro (jornalero) (discusión) 23:45 11 ene 2013 (UTC)

También a considerar: el esbozo Ciencias formales. ¿Cuántos artículos reales tenemos, en total? --Jerowiki (discusión) 07:55 24 ene 2013 (UTC)