Taking into account all the natural laws already proved or in operation as working hypotheses, and on the basis of the whole available formal system of laws belonging to this mathesis, they draw the logical consequences whose results are to be taken over by the experimenters.