10 1.

FUNDAMENTACIÓN DEL NÚMERO RACIONAL §1-7

el último ejemplo es esencialmente el mismo que el de la terna de números reales

(dada por las proyecciones del vector sobre los tres ejes coordenados).
  Las definiciones por abstracción constituyen uno de los recursos más fe-
cundos de la Matemática, pues permiten, conjuntamente con las definicio-
nes por recurrencia (§ 2-3), desarrollar el método genético, mediante el cual
se efectúan las sucesivas ampliaciones de la Matemática.
  7. Axiomática. — Hemos visto que mediante el razonamiento o
formulación de teoremas podemos deducir nuevas proposiciones de otras ya
establecidas, las que a su vez pueden haber sido deducidas de otras anteriores,
mediante otros teoremas; pero, en todo caso, hemos de partir siempre de
unas proposiciones primeras, que deben aceptarse sin demostración, pues
en caso contrario no serían las primeras. Del mismo modo, las proposiciones
enuncian propiedades de ciertos objetos o entes ideales, que se han de
definir refiriéndolos a entes anteriores, por lo cual en definitiva habrán de
introducirse también unos conceptos primitivos no susceptibles de definición.
(Entre los conceptos primitivos pueden haber atributos de relaciones
primitivas, por ej.: "menor que", "siguiente de", etc.). Entonces se reúnen los
conceptos primitivos y proposiciones primeras, en un conjunto de axiomas
o postulados, tomados hoy día como sinónimos, que forman la base de la
teoría matemática de que se trate; todos los demás teoremas y conceptos de
la teoría serán consecuencia lógica de dichos axiomas.
  Queda siempre, sin embargo, la intuición para servir de guía a la investigación,
es decir, para conjeturar las nuevas proposiciones que sean valiosas e interesantes:
como dijo Poincaré, "descubrir es elegir".
  Según algunos, la deducción de las proposiciones que forman el cuerpo de cada
teoría es una libre citación de la mente humana, y es en ella en donde tienen existen-
cia los objetos matemáticos; con lo empírico sólo están ligados por un remoto origen
psicológico e histórico.
  Según otros, dar a la Matemática un carácter puramente deductivo-axiomático es
sólo objetivo expositivo para asegurar la perfección de los resultados obtenidos; el es-
píritu de invención constructiva se guía siempre, aun en los campos más abstractos,
por la intuición reveladora, que tiene raíces fundamentalmente empíricas. Así dicen
Courant y Robbins (citados en nota IV-14) : "Sólo es una media verdad decepcionan-
te el que el intelecto pueda crear sistemas axiomáticos a su antojo, si han de estar
plenos de significación y sólo bajo la disciplina de responsabilidad hacia un todo or-
gánico, guiada por una intrínseca necesidad, puede la mente libre llegar a resultados
de valor científico. "Nosotros somos servidores, no dueños, de la verdad" (Hermite)".
  La caracterización de los conceptos primitivos mediante el sistema de axiomas
se dice que constituye una definición implícita de estos conceptos, prescindiendo de
todo significado objetivo de los mismos.
 Algo análogo ocurre con las piezas de ajedrez; éstas vienen precisa-
mente definidas por los movimientos que se les asigna, y en ellas es ac-
cesorio la forma de materializarlas y aun el nombre que se les dé; sin