К метаматематике относится хорошо известная теорема Гёделя о неполноте. По своему построению это обыкновенная математическая работа, но в то же время она имеет и очень глубокий философский смысл. Из этой теоремы следует, что мышление людей существенно богаче его дедуктивной формы и что нельзя, основываясь на формальной логике, построить компьютерный искусственный интеллект.

Если мышление человека действительно богаче его дедуктивной формы, то язык людей должен обладать средствами, позволяющими передавать это богатство. Мы уже не раз высказывали суждение о том, что многозначность языка, его полиморфизм есть средство, позволяющее преодолеть гёделевскую трудность в логической структуре нашего речевого поведения. Метафора есть лишь одно из средств, с помощью которого этот полиморфизм проявляется.

В.Налимов

http://nandzed.livejournal.com/4823321.html