¿Existe un término que se refiera estrictamente a la(s) suposición(es) fundamental(es) en que se basa una prueba? No me refiero a esto en el sentido de un axioma, sino más bien, por ejemplo, a afirmar que $m \in \mathbb{R}$ y $n \in \mathbb{Z}$ al inicio de la prueba. El término podría utilizarse entonces para referirse al conjunto de estas dos afirmaciones sin ambigüedad en cualquier punto de la prueba.
Respuestas
¿Demasiados anuncios?
Adam Malter
Puntos
96
El término habitual para esto es "hipótesis" (o a menudo "hipótesis", cuando hay más de un supuesto). Las hipótesis de un teorema son las suposiciones que se hacen en el enunciado del teorema y que deben cumplirse para que la conclusión se siga. De forma más general, una "hipótesis" de un argumento es una suposición que se hace al principio del argumento y que demostrará que algunas consecuencias se derivan de las suposiciones.
Dicho esto, el término "hipótesis" no tiene un significado tan estricto e inequívoco como pareces pedir. Dado que puede referirse en general a cualquier suposición hecha en un argumento, el significado exacto varía con el contexto y no es un término totalmente preciso por sí mismo. Aun así, es probablemente el término que los matemáticos utilizan con más frecuencia con el significado que pides.
