Primitivos de un sistema axiomático
Ir a la navegación
Ir a la búsqueda
Los primitivos de un sistema axiomático son aquellos elementos y relaciones que aparecen en los axiomas y que son aquello a lo que se refiere el axioma.
Por ejemplo, si tomamos como axioma el enunciado "Todos los p inciden con más de 3q"
podemos identificar los elementos primitivos: p y q
y la relación primitiva: incidir.