The mathematical definition of intuition is not the colloquial definition. For example, in intuitionistic mathematics, you can't proof by contradiction, which

The mathematical definition of intuition is not the colloquial definition. For example, in intuitionistic mathematics, you can't proof by contradiction, which means that some things that are "intuitively true" in the colloquial sense, are inaccessible.