home *** CD-ROM | disk | FTP | other *** search
/ Enciclopedia de la Ciencia 2.0 / ZETACIE2.bin / MungeTxt / THEO1G.TXT < prev    next >
Text File  |  1998-10-07  |  237b  |  1 lines
  1. TEXT2>ÖText1Article╫Text1Heading<P>En un sistema formal, proposición que puede establecerse a partir de los axiomas del sistema utilizando las reglas de inferencia del mismo.</P><TITLE>Teorema</TITLE>