SISTEMAS AXIOMÁTICOS

Conceptos Fundamentales del Sistema Axiomático

Proposición. Es un enunciado o juicio el cual solo puede originar uno y solo uno
de los términos verdadero o falso. Las proposiciones más comunes que se utilizan
son: axiomas, postulados, teoremas y corolarios.

Axiomas. Es una verdad que no requiere demostración y se la cumple en todas las

ciencias del conocimiento.
Baldor, define Axiomas como una proposición tan sencilla y evidente que se
admite sin demostraciones.

Postulados. Es una proposición aceptada como verdadera. A diferencia de los

axiomas, estos se los emplea generalmente en geometría, los mismos que no se han
constituido al azar, sino que han sido escogidos cuidadosamente para desarrollar la
geometría.
Según Baldor Un postulado es una proposición no tan evidente como un axioma
pero que también se admite sin demostración.

Teorema. Es la proposición cuya verdad necesita ser demostrada: una vez que el
teorema se ha probado se lo puede utilizar para la demostración de otros teoremas,
junto con axiomas y postulados.
Es una proposición que puede ser demostrada. La demostración consta de
conjunto de razonamientos que conducen a la evidencia de la verdad de la
proposición, así lo define Baldor.
Un teorema consta de: hipótesis (condiciones o datos del problema) y tesis
(propiedad a demostrarse).

Corolario. Es la consecuencia de un teorema demostrado.

1
 Baldor dice que es una proposición que se deduce de un teorema como
consecuencia del mismo.

Teorema Recíproco. Baldor establece que todo teorema tiene su recíproco,

siendo su hipótesis y tesis la tesis y la hipótesis respectivamente del otro teorema, que
se llamaría teorema directo.

Lema. Baldor dice que una proposición que sirve de base a la demostración de un
teorema, es decir, que es como un teorema preliminar a otro que se considera más
importante.

Escolio. Es una observación que se hace sobre un teorema previamente

demostrado.

Problema. Es una proposición en la que se pide construir una figura que reúna
ciertas condiciones o bien calcular el valor de alguna magnitud geométrica.

Razonamiento Lógico. Cuando una persona se empeña en una "reflexión clara" o

en una reflexión rigurosa, está empleando la disciplina del razonamiento lógico.

Demostraciones. Es un conjunto de razonamientos que demuestra la verdad de la

proposición junto con axiomas y postulados.
Una demostración bien elaborada solo puede basarse en proposiciones antes
demostradas, la demostración también es necesaria para fundamentar la generalidad
de la proposición que se demuestra.
Por medio de las proposiciones, las verdades geométricas se reducen a un sistema
armonioso de conocimientos científicos.

Métodos de Demostraciones

2
 – Método Inductivo. Es un razonamiento que parte de conocimientos o
verdades particulares para obtener mediante ellos una verdad general.
– Método Deductivo. Es un razonamiento que parte de conocimientos o
verdades generales para obtener mediante ellos una verdad particular.
El método deductivo es el más usado en la Geometría, el cual consiste en
encadenar conocimientos que se suponen verdaderos de manera tal. Que se obtienen
nuevos conocimientos.

Procedimiento de una Demostración

La demostración formal de un teorema consiste en cinco partes
1. El enunciado del teorema.
2. Hacer un gráfico que ilustre el teorema.
3. Una afirmación de lo que es el dato en términos del gráfico (hipótesis).
4. Una afirmación de lo que debe probarse (tesis).
5. Demostración.

Reseña y Definición de Sistemas Axiomáticos

La antigüedad de la Geometría se remonta a los babilonios y egipcios, pueblo
que entre los años 2000 y 200 A.C. hicieron uso práctico de la misma como una
respuesta a problemas cotidianos.
Cuando surge la necesidad de efectuar medidas de objetos o extensiones de
tierra, el hombre comienza a crear abstracciones como el punto, la recta y el plano. Se
establece así un puente entre las formas que a diario el hombre observa y las
representaciones simbólicas que utiliza para referirse a ellas.
Los conocimientos desarrollados por los babilonios y egipcios fueron
transmitidos a la civilización griega, en cuyo seno no son sólo asimiladas, sino que
son objeto de profunda reflexiones que produjeron avances significativos de la
Geometría. Los griegos desarrollaron la Geometría como una ciencia lógica y fueron
responsables de la demostración de muchos teoremas. A pesar de que los griegos
desarrollaron otras áreas de la matemática, la geometría fue perfeccionada a tal grado
que la influencia de los antiguos matemáticos griegos se ha mantenido durante 20

3
siglos. Es la época de los grandes filósofos griegos entre quienes se destacan Thales
de Mileto, Pitágoras, Anaxágoras, Demócrito, Hipócrates, Platón.
Durante los dos últimos siglos el método axiomático ha ido adquiriendo fuerza y
vigor crecientes. Nuevas y viejas ramas de las matemáticas fueron provistas de los
que parecían ser unos adecuados conjuntos de axiomas. Nació así un estado de
opinión en el que se admitía tácitamente que todos los sectores del pensamiento
matemático podían ser dotados de unos conjuntos de axiomas susceptibles de
desarrollar sistemáticamente la infinita totalidad de proposiciones verdaderas
suscitadas en el campo sujeto a investigación.
Se denomina sistema axiomático al procedimiento mediante el cual las ciencias
formales, teniendo en cuenta el aspecto dinámico que involucra la formulación de
axiomas y la justificación de ciertos enunciados que se obtienen a partir de los
axiomas mediante procedimientos de transformación. Si en cambio se consideran
estáticamente los resultados de la aplicación del método, es decir, su aspecto
estructural, se estaría analizando deductivos o formales.
El método axiomático consiste en aceptar sin prueba ciertas proposiciones como
axiomas o postulados, y en derivar luego de esos axiomas todas las demás
proposiciones del sistema, en calidad ya de teoremas. Los axiomas constituyen los
"cimientos" del sistema; los teoremas son las "superestructuras", y se obtienen a partir
de los axiomas sirviéndose, exclusivamente, de los principios de la lógica.
La principal característica de un sistema axiomático es que si puede demostrarse
de alguna manera la verdad de los axiomas, quedan automáticamente garantizadas
tanto la verdad como la consistencia mutua de todos los teoremas.
Lo característico del sistema axiomático como realización de la idea de cálculo
consiste en disponer de un conjunto de enunciados o fórmulas que se admiten sin
demostración y a partir de los cuales se obtienen todas las demás afirmaciones de la
teoría, las cuales se llaman teoremas. Y las fórmulas aceptadas sin discusión son
axiomas o postulados. El conjunto de axiomas, más la definición de enunciado o
fórmula del sistema (definición que precede al enunciado de los axiomas) y el
conjunto de las reglas para la obtención de teoremas a partir de los axiomas (reglas de
transformación) constituyen la base primitiva del sistema.

4
 Aristóteles llama axiomas a las proposiciones indemostrables, evidentes en sí
mismas (inmediatamente verdaderas) que sirven de principios a los teoremas
(verdades deducidas o mediatas) de una teoría científica. Hoy se entiende por axioma,
más simplemente, una fórmula del sistema convencionalmente elegida como
postulado, que viene del latín postulare, pedir, porque le "pedimos" al interlocutor
que acepte provisionalmente su verdad.
Se puede decir entonces que los axiomas no “definen” unos entes concretos, unos
conceptos “primitivos” concretos, sino toda una serie de entes o de conceptos
“primitivos”. Los axiomas no versan sobre nada concreto, sobre nada definido
explícitamente, sino sobre una “vaguedad” de conceptos “primitivos” restringidos
exclusivamente por las propiedades que los axiomas enuncien.
Esta abstracción progresiva de las matemáticas y de los sistemas axiomáticos
hizo exclamar a Bertrand Russell: “La matemática es la ciencia en la que no se sabe
de qué se habla ni siquiera si lo que se dice es verdadero”.

Tipos de Sistemas Axiomáticos

1. Sintácticos. Llamados también cálculos o sistemas no interpretados, que se
caracterizan por el hecho de que sus expresiones carecen de significado, están
compuestos por fórmulas entendidas como meras sucesiones de signos. Los
axiomas y teoremas son consecuentemente fórmulas vacías, puesto que
contienen signos que no tienen referencia.
2. Semánticos. También conocidos como Interpretados los cuales están formados
por enunciados, es decir, oraciones que poseen significados y valores de
verdad.

Componentes de los Sistemas Axiomáticos

Según el enfoque moderno se enunciaran los que forman parte de los sistemas
sintácticos, que ciertos agregados que bajo ciertas condiciones serán sistemas
semánticos.

5
 – Los términos primitivos o alfabeto básico son un listado de signos que no se
lo definen dentro del sistema y que podrán ser utilizados para definir otros.
Además se pueden dividir en signos propios o impropios.
– Los Signos propios son aquellos que al ser interpretados o se les asigna
significados se refieren a objetos específicos de la teoría. Pueden ser
constantes (se refiere a entidades determinadas) y Variables (se refiere a
lugares que puedan ser ocupados por distintas entidades que constituyen e
dominio de la variable)
– Los signos impropios son aquellos que pertenecen a la lógica subyacente
presupuesta en los sistemas matemáticos y explicitados en los sistemas
lógicos.
– Morfología. En todo sistemas se establecen explícita o implícitamente las
formas en que pueden combinarse los signos en la formula, siendo ésta una
sucesión finita de términos.
– Las definiciones permiten introducir en los sistemas axiomáticos signos
nuevos a partir de los términos primitivos, que serían los términos definidos.
– Los axiomas constituyen un conjunto de fórmulas bien formadas que se
adoptan como punto de partida o fórmulas iniciales, las cuales se aceptan sin
demostración.
– Las reglas de inferencias son reglas cuya función principal es la de generar
nuevas fórmulas a partir de los axiomas. Son en general procedimientos para
obtener fórmulas nuevas a partir de otras fórmulas y se denominan regla de
transformación y es todo lo que se necesita si se adopta una concepción
sintactista de los sistemas axiomáticos.
– Una demostración es una secuencia de fórmulas bien formadas donde cada
una de ellas es o bien un axioma o bien se ha obtenido a partir de fórmulas
anteriores mediante la aplicación de reglas de inferencias.
– Un teorema es la última fórmula de una demostración.

Propiedades de los Sistemas Axiomáticos

6
 1. Consistencia.
Se pretende la exigencia de coherencia, es decir, que en un sistema axiomático no
puede inferirse dos teoremas contradictorios a partir de los axiomas.
Partiendo de los axiomas no debe ser posible deducir o demostrar un teorema y
su negación. Es decir, el sistema no debe suponer contradicciones.
Ejemplo: Si se deduce el teorema T en el sistema axiomático S, no puede
inferirse también el teorema no-T en el mismo sistema.
Este requisito de consistencia es el más importante en lo que debe satisfacer un
sistema axiomático.

2. Completitud.
Significa que no es posible añadir al sistema una fórmula bien formada que no
sea teorema sin que el sistema se vuelva inconsistente.
Se llama completo a un sistema S, si dada una fórmula bien formada f, de S, o
esta fórmula o su negación (no-f) es un teorema de S.
Todo enunciado bien formulado que no sea deducible de sus axiomas tiene que
estar en contradicción con una tesis del sistema. Es decir: Sea L un Sistema
Axiomático cualquiera, es decidible o completo si y sólo si, dada una fórmula f
cualquiera de dicho lenguaje L, hay un medio para averiguar con seguridad deductiva
si f es verdadero o falso en L.

3. Independencia.
Los axiomas o fórmulas iniciales del sistema son independientes cuando ninguno
de ellos pueden ser teoremas en el mismo sistema. Es decir, ninguno de los axiomas
puede ser deducido, demostrado a partir de los demás, cada axioma debe ser
independiente de los otros.

TÉRMINOS PRIMITIVOS

7
 Un sistema axiomático está formado por un conjunto de conceptos primitivos y
de axiomas. La Selección de conceptos primitivos y axiomas en la construcción de
una ciencia es, en cierta manera arbitraria, y esa escogencia puede dar lugar a
diferencias notables en la naturaleza de la ciencia que resulta.
El axiomatismo moderno no sólo no acepta la evidencia de los axiomas de las
teorías, sino tampoco la intuitividad de los términos básicos de las mismas: “punto”,
“recta”, “plano”, etc., no tienen significado por sí mismos. Son conceptos indefinidos,
que sólo cuando se combinan por medio de unos u otros axiomas comienzan a quedar
implícitamente definidos. Establecidas unas reglas de inferencia lógica, a partir de los
axiomas puede deducirse una serie de teoremas, pero durante esta fase deductiva nada
tiene significado: el cálculo es pura sintaxis. Únicamente cuando, una vez derivadas
las expresiones bien formadas que pueden inferirse de los axiomas y de los términos
primitivos (no definidos), se comienza a buscar interpretaciones de dicho cálculo
formal, los términos comienzan a adquirir significado y los axiomas pasan a ser
verdaderos o falsos.

Punto.
La idea de punto es fundamental en geometría. Todas las figuras son conjunto de
puntos. El punto no tiene tamaño pero sirve para señalar una posición en el espacio.
El punto es considerado una figura de dimensión cero.
Entonces podemos resumir que el punto tiene las siguientes características:
– Sólo tiene posición en el espacio (ubicación)
– No tiene dimensión. (Longitud, anchura y altura)
– La marca más pequeña que se puede dibujar.

Se usa una marca para dibujar un punto y una letra latina mayúscula para
nombrarlo.
●P
Fig. 1
Este punto se llama punto P.

8
Recta.
La recta tiene longitud pero ausencia de grosor, es indefinida en ambos sentidos.
Es considerada una figura de dimensión uno.
La recta, la menor distancia que existe entre dos puntos. La recta geométrica se
extiende sin límite en dos sentidos opuestos. Se denotan las rectas por dos de sus
puntos mediante el símbolo:

Fig. 2

Esta recta se llama recta ℓ ó recta AB.

Plano.
El plano tiene longitud y ancho, pero carece de grosor, se extiende
indefinidamente en todas las direcciones. Se considera como una figura de dimensión
dos.
Un plano se considera constituido por un conjunto infinito de puntos. Se denota
el plano por cuatro de sus puntos y mediante el siguiente símbolo:

Fig. 3

El plano se nombra con una letra griega. Este plano se llama plano α.

Espacio.
El conjunto de todos puntos se llama espacio.

Relación de Puntos, Rectas y Planos.

9
 A
B
ℓ

Cuando se dice que un punto A está en la recta ℓ, describe una situación como el
de la figura 4. También se puede decir “el punto A pertenece a la recta ℓ” o “el punto
A es un elemento de la recta ℓ” o “la recta ℓ contiene el punto A” o “la recta ℓ pasa
por el punto A”.

Fig. 4.

Utilizando los términos no definidos de punto, recta y plano, se puede definir

otros términos geométricos como lo son Puntos Colineales, Coplanares, Rectas
Secantes, Rectas Concurrentes y Relación “Estar Entre”.

a) Puntos Colineales. Tres o más puntos se denominan colineales o

alineados si todos pertenecen a la misma recta.

D
C
B
A

10
 Fig. 5.
Los puntos A, B y C son colineales. Los puntos A, B y D no son colineales.

b) Puntos Coplanares. Cuatro o más puntos se denominan Coplanares si

todos pertenecen al mismo plano. Tres puntos siempre son Coplanares, es
decir, pertenecen al mismo plano.

A B

C D

Fig. 6.
c) Rectas Secantes. Dos rectas en un plano se llaman secantes si tienen un
punto en común. También se conocen como rectas que se cortan.

Estos pares
No de
sonrectas
Secantes
son secantes

Fig. 7.

d) Rectas Concurrentes. Tres o más rectas en un plano se denominan

concurrentes si tienen un punto en común.

11
 Estas rectas son concurrentes. Estas rectas no son concurrentes.

Fig. 8.

e) Relación “Estar entre”. Si los puntos colineales A, B y C están como se

muestra en la figura 9, se dice que el punto B está entre los puntos A y C.
Sí los puntos no son colineales no se utiliza la expresión estar entre para
describir su relación.

C
B
A

Fig. 9.

POSTULADOS Y TEOREMAS DE LA RECTA, PLANO Y ESPACIO

1. Postulado de la Existencia de los Puntos.

– Una recta contiene por lo menos dos puntos.
– Un plano contiene por lo menos tres puntos no colineales.
– El espacio contiene por lo menos cuatro puntos no Coplanares.

Este postula sirve de base para asegurar que una recta tiene al menos dos puntos.

12
 Fig. 10.

1. Postulado del punto y la recta. Dos puntos distintos determinan una única
recta.

Fig. 11.

La recta que contiene los punto A y B se denota por AB, aquí la raya con dos
puntas de flechas sobre la recta A y B. La notación sugiere que la recta se determina
al nombrar los puntos A y B.

13
 Definiciones. Para dos puntos cualesquiera A y B, el segmento AB es el conjunto
de los puntos A y B, y de todos los puntos que está entre A y B. los puntos A y B se
llaman los extremos de AB.
Definición. El número AB se llama la longitud del segmento AB.

2. Postulado del punto y el Plano. Tres puntos distintos no colineales

determinan un único plano.

Fig. 12.
3. Postulado de puntos, rectas y planos. Si dos puntos pertenecen a un plano,
la recta que ellos determinan está contenida en el plano.

Fig. 13.

4. Postulado de la intersección de planos. Si dos planos se cortan, su

intersección es una recta.

14
 Fig. 14.

5. Postulado de Separación del Plano. Se da una recta y un plano que la

contiene. Los puntos del plano que no están en la recta forman dos conjuntos
tales que:
– Cada uno de los conjuntos se convexo, y
– Si P está en uno de los conjuntos y Q en el otro, entonces el segmentos
PQ interseca a la recta.

Definición. Dada una recta L y un plano E que la contiene, los dos conjuntos
determinados por el postulado de separación del plano se llaman semiplanos o lados
de L, y L se llama la arista o el borde de cada uno de ellos. Si P está en uno de los
semiplanos y Q está en el otro, entonces se dice que P y Q están a lados opuestos de
L.
El postulado nos dice dos cosas acerca del modo que una recta separa al plano en
semiplanos.
– Si dos puntos están en el mismo semiplano, entonces el segmento que los
une está en el mismo semiplano y, por tanto, nunca interseca a la recta.
– Si dos puntos están en semiplanos opuestos, entonces el segmento que
une los dos puntos siempre interseca a la recta.
– Un plano separa al espacio exactamente del mismo modo que una recta
separa a un plano.

15
 1. Postulado de separación del espacio. Los puntos del espacio que no están en
un plano dado forman dos conjuntos tales que
– Cada uno de los conjuntos es convexo, y
– Si P está en uno de los conjuntos y Q está en el otro, entonces el
segmento PQ interseca al plano.

Definición. Los dos conjuntos determinados por el postulado de separación del

espacio se llaman semiespacio, y el plano dado se llama la cara de cada uno de ellos.

i. Teorema 1. Todo segmento tiene exactamente un punto medio.

Demostración. Interesa obtener un punto que satisfaga las siguientes
condiciones:
AB+BC=AC,AB=BC
Las dos ecuaciones dicen que
AB=AC2
Por el teorema, hay exactamente un punto B del rayo AC que está a la distancia
AC2 de A. por consiguiente, AC tiene exactamente un punto medio.

Definición. Decimos que el punto medio de un segmento biseca al segmento.

ii. Teorema 2. Si dos rectas diferentes se intersecan, su intersección

contiene un punto solamente.

Demostración. Si dos rectas diferentes se intersecaran en dos puntos diferentes P

y Q, entonces habría dos rectas que contienen a los puntos P y Q. Pero, el postulado
de la recta nos dice que esto no puede suceder.
De ahora en adelante, siempre que se hable de dos rectas, o dos planos,
entenderemos que las rectas o los planos son distintos. Es decir, cuando hablamos de
dos cosas, se entenderá siempre que son en realidad, dos cosas distintas. Pero, si se
dice simplemente que P y Q son puntos, se admite la posibilidad de que P = Q.

16
 iii. Teorema 3. Si una recta interseca a un plano que no la contiene, entonces
la intersección contiene un solo punto.

iv. Teorema 4. Dada una recta y un punto fuera de ella, hay exactamente un
plano que contiene ambos.

v. Teorema 5. Dada dos rectas que se intersecan, hay exactamente un plano

que las contiene.

CONTENIDOS DE GEOMETRÍA EN EDUCACIÓN PRIMARIA Y

SECUNDARIA.

Primaria.
• Figuras Planas
• Identificación, descripción y construcción del círculo, el rectángulo, el
cuadrado y el triángulo
• Identificación de los elementos básicos que componen cada figura.
• Resolución de problemas sencillos en base al área de un rectángulo.
• Identificación, descripción y diseño básico de figuras tridimensionales: el
cubo, el prisma rectangular, la pirámide, el cono, el cilindro y la esfera.
• Desarrollo de patrones geométricos. Noción de recta y un punto.
• Identificación de una línea y un punto, trazado de líneas a partir de unos
puntos. Identificación y graficación de líneas cerradas y abiertas.
• Identificación de la posición de un objeto con respecto a otro.
• Elaboración de posiciones y desplazamiento de objetos en ejes, cruces
filas y columnas con ayuda de instrumentos geométricos.

Secundaria.
Segundo Año.

17
 • La astronomía y la ingeniería y su vinculación con los polígonos, sus
propiedades, clasificación de los polígonos según sus lados: triángulos,
clasificación, semejanzas y desigualdad triangular; cuadriláteros, entre
otros. Circunferencia y círculo. Polígonos inscrito en la circunferencia.
Tercer Año.
• Estudios de patrones, formas y diseños ambientales.
○ Criterios de congruencias y semejanzas: comparaciones de
triángulos, el teorema de Pitágoras, Euclides, Thales y proporción.
○ Razones trigonométricas en el triángulo rectángulo. Identidades
fundamentales. Medidas de ángulos. Razones trigonométricas de
ángulos notables. Teorema del seno y coseno. Aplicaciones a:
triangulaciones de terrenos, cálculo de distancia, estimación de
altura de edificaciones o de objetos celestes, entre otros.
○ Comprensión del espacio geográfico a través de las regiones
poligonales, perímetro, semiperímetro (área, adición de áreas,
áreas de triángulos y cuadriláteros).
○ Superficies esféricas en el universo: definición y propiedades.
○ Construcciones con regla y compás (circunscribir e inscribir una
circunferencia en un triángulo dado).
○ Postulados de las dos circunferencias, longitud de la
circunferencia, el número Pi. El círculo y área.
Cuarto Año. Mención Ciencias Naturales Ciencias Sociales..
• Estudios de patrones, formas y diseños ambientales.
○ La circunferencia trigonométrica: medidas de ángulo.
Circunferencia trigonométrica. Razones trigonométricas de un
arco o ángulo. Reducción de un ángulo al primer cuadrante.
Ángulos que tienen en común una razón trigonométrica.
Relaciones entre razones trigonométricas de un ángulo. Seno,
coseno y tangente de la suma y diferencia de dos ángulos. Seno,
coseno y tangente de un ángulo doble y un ángulo medio.
Quinto Año. Mención Ciencias Naturales.

18
 • Estudios de patrones, formas y diseños ambientales.
○ Análisis de las cónicas a partir de situaciones reales (movimientos
de los planetas, cometas, entre otros): elipses, hipérbolas y
parábolas. Circunferencia como caso particular de la elipse.

CONCLUSIONES

La Geometría nace a partir de la necesidad de efectuar medidas de objetos o

extensiones de tierra, entonces el hombre comienza a crear abstracciones como el
punto, la recta y el plano, dando sentido a las formas que a diario el hombre observa y
permite hacer las representaciones simbólicas que utiliza para referirse a ellas.
Los conocimientos desarrollados por los babilonios y egipcios fueron
transmitidos a los griegos quienes desarrollaron la Geometría como una ciencia lógica
y fueron responsables de la demostración de muchos teoremas.
Los sistemas axiomáticos consisten en aceptar sin pruebas proposiciones para
formar otras que sí deben ser demostradas. Un sistema axiomático está formado por
un conjunto de conceptos primitivos y de axiomas.

19
 El método axiomático consiste en aceptar sin prueba ciertas proposiciones como
axiomas o postulados, y en derivar luego de esos axiomas todas las demás
proposiciones del sistema, en calidad ya de teoremas. Los axiomas constituyen los
bases del sistema.
Caracterizándose por poder demostrar de alguna manera la verdad de los
axiomas, y así quedan automáticamente garantizadas tanto la verdad como la
consistencia mutua de todos los teoremas.
Los sistemas axiomáticos evitan definirlo todo y adopta una serie de conceptos
“primitivos” que no se define por sí solos. Se puede decir entonces que los axiomas
no “definen” unos entes concretos, unos conceptos “primitivos” concretos, sino toda
una serie de entes o de conceptos primitivos.
Existen dos tipos de sistemas axiomáticos Sintácticos. (Cálculos o sistemas no
interpretados), que se caracterizan por el hecho de que sus expresiones carecen de
significado, están compuestos por fórmulas entendidas como meras sucesiones de
signos. Semánticos. (Interpretados) los cuales están formados por enunciados.
Las propiedades de los sistemas axiomáticos son:
La consistencia que exige la coherencia, es decir, que no se pueden hacer
inferencias en dos teoremas contradictorios.
La completitud que significa que no es posible añadir al sistema una fórmula bien
formada que no sea teorema sin que el sistema se vuelva inconsistente.
La independencia significa que ninguno de los axiomas puede ser deducido,
demostrado a partir de los demás, cada axioma debe ser independiente de los otros.
Un sistema axiomático está formado por un conjunto de conceptos primitivos
(punto, recta y plano) y de axiomas. La Selección de conceptos primitivos y axiomas
en la construcción de una ciencia es, en cierta manera arbitraria, y esa escogencia
puede dar lugar a diferencias notables en la naturaleza de la ciencia que resulta.

20
 REFERENCIAS BIBLIOGRÁFICAS

Baldor, J. (2003). Geometría Plana y del Espacio y Trigonometría. Publicaciones

Cultural. 19º Edición. México.

http://filosofayciudadana.blogspot.com/2009/05/sistema-axiomatico-formal.html

http://www.monografias.com/trabajos6/gepla/gepla.shtml

http://www.monografias.com/trabajos14/logica/logica.shtml

Júpiter, F. Matemática 2. Ediciones CO-BO.

21
Moise E y Down F. (1986). Geometría Moderna. Addison – Wesley
Iberoaméricano. Argentina.

MPPME (2007). Subsistema Educación Primaria Bolivariana. Liceos

Bolivarianos. Currículo y Orientaciones Metodológicas.

MPPME (2007). Subsistema Educación Secundaria Bolivariana. Liceos

Bolivarianos. Currículo y Orientaciones Metodológicas.

Salazar, J y Rojas J. (2005). Geometría. Serie Azul. FEDUPEL. Caracas.

22