Sistema Axiomático

formados por
1. conjuntos de enunciados
  1. axiomas
    1. toman como punto de partida
    2. se deducen a partir de
  2. teoremas
    1. se deducen
    2. enunciados
      1. cuya verdad
        se da mediante
        reglas de transformacion
es dar
1. un lenguaje
  1. constituido
    1. términos primitivos
      1. no se definen
      2. a partir
    2. términos que se definen
      1. a partir
    3. reglas de formación
      1. FBF
      2. enunciados que tienen sentido
        dentro de lenguaje de sistema
2. axiomas
  1. FBF del sistema
    1. eligen como punto de partida
3. reglas de transformación
  1. permiten influir teoremas
    1. a partir de axiomas
características
1. consistencia
  1. si puede demostrarse
    1. teorema
    2. negación
2. independencia
  1. si no puede deducirse
    1. de otros axiomas del sistema
3. completitud
  1. cualquier enunciado que se considere
    1. puede demostrarse en el
Interpretado
1. se da un correlato factico
  1. a los primitivos
    1. mediante reglas de transformación

Resource summary

	Created by garromalena almost 10 years ago