Eso es lo que me causa duda, porque si no hay necesidad de preocuparse por la posibilidad de A... podría decirse que nada mas se acepta como que fuera un hecho establecido
Es que justamente eso no es así, no hay nada establecido.
Las "hipótesis" no son hechos matemáticos establecidos, sino, justamente, "hipotéticos".
Es como yo te dije, hay que usar frases condicionales:
Si ocurriera A, entonces ocurriría B.Es un subjuntivo seguido de un condicional.
Esa es la manera en que se deben entender gramaticalmente los enunciados matemáticos.
Los únicos hechos matemáticos realmente "establecidos" son las "implicaciones en sí mismas", no las hipótesis de ellas, o las tesis (o conclusiones).
Al decir: Si A entonces B,
no queda establecido ni A, ni B.
Lo único que queda "establecido" es que hay un nexo obligatorio de causa-efecto, tal que "si ocurriese el hecho A, entonces ocurriría el hecho B".
Así, podrías decir que los enunciados matemáticos son "especulativos".
Saludos