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.