The limits of logic and mathematics is that we couldn't describe a question without symbol system, but symbol system is just an abstraction of the real world not the real world itself, so there is a distance between the abstracted symbol system and the real world, therefore there is truth we can't reach by symbol system, which A-HA moment may reach. But when we thinking we always use a symbol system like words or mathematics with apriori logic, so I wonder if AI could have A-HA moment?