Tengo dos preguntas:
(1) Es un postulado de la misma cosa, como un axioma? Esta respuesta parece sugerir que la respuesta es sí. Siempre he pensado que los dos eran el mismo, pero la siguiente pregunta sugiere una diferencia.
(2) Si la respuesta a (1) es sí, entonces ¿por qué es Bertrand Postulado llamado así? Es un teorema, se puede probar. Fue tomada como un axioma en un punto o se trata simplemente de una especie de "abuso de la terminología?"
Supongo que, si dicho nombramiento es de hecho un abuso de la terminología, mi opinión es que este abuso no es totalmente benigno. Cuando oí hablar por primera vez de Bertrand Postulado, se mencionó en una prueba de la siguiente manera: "vemos que la Declaración de la X se sigue inmediatamente de Bertrand Postulado." No familiarizado con el teorema, supuse que ese era otro nombre de algún famoso axioma, que era confuso para mí, ya que yo sabía que ningún axioma que fácilmente implícita el resultado. Al mirar hacia arriba Postulado de Bertrand, mi error fue aclarado pero se preguntaba por qué se llama es un postulado.