Axioma: En lgica y matemtica, un axioma o postulado es una frmula bien formada de un lenguaje formal que se acepta sin demostracin,

como punto de partida para demostrar otras frmulas. Tradicionalmente, los axiomas se eligen de entre las dems frmulas por ser "verdades evidentes" y porque permiten deducir a las dems frmulas deseadas. Sin embargo, no todos los tericos estn de acuerdo con esta aproximacin. En matemtica, un axioma no siempre es una verdad evidente, sino una frmula bien formada utilizada en una deduccin para llegar a una conclusin. Teorema:
Un teorema es una afirmacin que puede ser demostrada como verdadera dentro de un marco lgico. Demostrar teoremas es el asunto central en la matemtica. Ley: Cada una de las relaciones constantes y universales que intervienen o participan en un fenmeno. Postulado: Proposicin que se toma como base para un razonamiento o demostracin cuya verdad se admite sin pruebas. Corolario: Se llamar corolario a una afirmacin lgica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.