Is there any rigorous proof in the history mathematicsWhat was behind accepting the existence of the irrational numbers historically? Especially numbers that are not constructible on the real number line, say for example,$$\sqrt[3]{2}$$ $\sqrt[3]{2}$. Was it a (somewhat) rigorous proof, or was it only an agreement or convention among mathematicians in those days?