Doesnt seem to be , just takes a lot of time <| sep |> There ' s no reason to believe deduction is significant . Sufficient generalization and correlation can allow for any arbitrary prediction to be viewed as accurate or true . Math could be our language for universal consistency , but that does not imply logic exists . It implies consistency exists , or equality . Two sides of a spectrum that neutralize , aka an equation . Outside of that , all of our mathematics could be a taxonomy for categorizing equations observed in the universe . Which could theoretically be done via labeling and no logic . The choice comes into play with being able to distinguish 11 and 12 as inconsistent , because it messes with our notation for observing the real world