ZOMBIES

Axioma
Un axioma es una proposición que se considera «evidente» y se acepta sin requerir demostración previa. En un sistema hipotético-deductivo es toda proposición no deducida (de otras), sino queconstituye una regla general de pensamiento lógico, por oposición a los postulados.
En lógica y matemáticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración,como punto de partida para demostrar otras fórmulas. Tradicionalmente los axiomas se eligen de las consideradas «afirmaciones evidentes, porque permiten deducir las demás fórmulas.
En matemática sedistinguen dos tipos de proposiciones: axiomas lógicos y postulados.

Postulado
Un postulado es una proposición no evidente por sí misma, ni demostrada, pero que se acepta ya que no existe otroprincipio del que pueda ser deducida.
Lógicamente un postulado es similar a un axioma pero diferente de ellos en que, en un sistema hipotético-deductivo, es toda proposición no deducida de otra, sino queconstituye una regla general de pensamiento lógico (en oposición a los postulados).

Teorema
Esta imagen muestra la relación entre lascadenas de caracteres, las fórmulas bien formadas y losteoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.
Un teorema es una fórmula bien formada que puede ser demostrada dentro deun sistema formal. Demostrar teoremas es un asunto central en la lógica matemática y lamatemática. Los teoremas también pueden ser expresados en lenguaje natural formalizado.
Un teorema generalmente poseeun número de premisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusión, una afirmación lógica o matemática, la cual es verdadera bajo las condiciones dadas. El contenidoinformativo del teorema es la relación que existe entre las hipótesis y la tesis o conclusión.







Punto (geometría)
En geometría, el punto es uno de los entes fundamentales, junto con...