home *** CD-ROM | disk | FTP | other *** search
/ Enciclopedia de la Ciencia 2.0 / ZETACIE2.bin / MungeTxt / AXIS2G.TXT < prev    next >
Text File  |  1998-10-07  |  277b  |  1 lines
  1. TEXT2>»Text1Articleφ(Text1Heading<P>Sistema formal de axiomas y reglas de inferencia a partir de los cuales pueden derivarse proposiciones y teoremas. Un ejemplo es la geometría formal de Euclides.</P><TITLE>Sistema axiomático</TITLE>