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