En geometra, un plano es un objeto ideal que solo posee dos dimensiones, y contiene infinitos puntos y

rectas; son conceptos fundamentales de la geometra junto con el punto y la recta.Cuando se habla de
un plano, se est hablando del objeto geomtrico que no posee volumen, es decir bidimensional, y que
posee un nmero infinito de rectas y puntos. Sin embargo, cuando el trmino se utiliza en plural, se est
hablando de aquel material que es elaborado como una representacin grfica de superficies en
diferentes posiciones. Los planos son especialmente utilizados en ingeniera, arquitectura y diseo ya
que sirven para diagramar en una superficie plana o en otras superficies que son regularmente
tridimensionales.

La proporcionalidad es una relacin o razn entre magnitudes medibles. Es uno de los escasos
conceptos matemticos ampliamente difundido en la poblacin. Esto se debe a que es en buena medida
intuitiva y de uso muy comn. .

Un axioma es una proposicin que se considera evidente y se acepta sin requerir demostracin
previa. En un sistema hipottico-deductivo es toda proposicin no deducida (de otras), sino que
constituye una regla general de pensamiento lgico (por oposicin a los postulados).1En lgica y
matemticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostracin,
como punto de partida para demostrar otras frmulas. Tradicionalmente los axiomas se eligen de las
consideradas afirmaciones evidentes, porque permiten deducir las dems frmulas.En lgica un
postulado es una proposicin no necesariamente evidente: una frmula bien formada (planteada) de un
lenguaje formal utilizada en una deduccin para llegar a una conclusin.

Un postulado es una proposicin no evidente por s misma, ni demostrada, pero que se acepta ya que
no existe otro principio del que pueda ser deducida.1Lgicamente un postulado es similar a un axioma
pero difiere de ellos en que, en un sistema hipottico-deductivo, es toda proposicin no deducida de
otra, sino que constituye una regla general de pensamiento lgico (en oposicin a los
postulados).2Tambin se denomina postulado a los principios sustentados por una determinada
persona, un grupo o una organizacin. Por ejemplo, en filosofa y en psicologa los diversos enfoques o
escuelas suelen diferenciarse en una serie de proposiciones filosficas. A stas se les nombra
postulados, como definiciones opcionales que delimitan una concepcin de cada disciplina (tipo de
mtodo que utiliza, objetivo de estudio, etctera).

Un teorema es una frmula bien formada que puede ser demostrada dentro de un sistema formal,
partiendo de axiomas u otros teoremas. Demostrar teoremas es un asunto central en la lgica
matemtica. Los teoremas tambin pueden ser expresados en lenguaje natural formalizado.Un teorema
generalmente posee un nmero de premisas que deben ser enumeradas o aclaradas de antemano.
Luego existe una conclusin, una afirmacin lgica o matemtica, la cual es verdadera bajo las
condiciones dadas. El contenido informativo del teorema es la relacin que existe entre las hiptesis y la
tesis o conclusin.

Un corolario (del latn corollarium) es un trmino que se utiliza en matemticas y en lgica para designar
la evidencia de un teorema o de una definicin ya demostrados, sin necesidad de invertir esfuerzo
adicional en su demostracin. En pocas palabras, es una consecuencia tan evidente que no necesita
demostracin.A menudo se trata de una inferencia, si bien la distincin entre teorema y corolario es tan
subjetiva como entre lema y teorema.