Of the sciences and their types.

There are two types of science: formal science and empirical science:

empiric sciences:

The problem with empirical sciences is that they are based on the predictivity of a theory, so if another theory is more predictive, it will replace the original one, which can lead to contradictions as happened with the theory of the big bang and the steady state, the first made the second obsolete, simply because it was more predictive, but the mere fact that something is predictive does not make it true, even the bible is full of accurate predictions.

formal sciences:

The problem with formal sciences is that they are based on axioms, that is, unproven assumptions, for this reason we have no real reason to believe what they tell us, it is said, but when you read the works of people like Kurt Godel, who tells us that the Formal sciences have parts of themselves that cannot be proved by their own axioms, thus leaving conceptual gaps, and if you analyze the axioms added to the evidence you will come to the conclusion that they are wrong, an example is the argument we use to refute the axiom of pi (3.1415923 ...)

solution:

To solve these problems it is required to create a non-axiomatic formal science that differs from the empirical sciences in that it is not refuted, and from the current formal sciences in that it does not use axioms, the principles of this science should be undeniable in the fact that that are based on the very structure of reason, so that by denying them, they are accepted.