The original question was:The question is in context with Kurt Gödel’s Incompleteness Theorem. Question: If no formal logic can ever be, complete and consistent, does that mean, humans are illogical beings? Further elaboration of the question: Imagine a mathematician seeing a statement and intuitively knowing that the statement is true. Conclusion: If the mathematician was a logical being, he would not be able to conclude that the statement is true. Or are humans not limited by logic so it would be impossible to model the universe by a big equation.

When you want to outsmart the world, you turn to the facts. And the facts are in the science.