Здравствуйте, pagid_, Вы писали:

_>А как ИИ научить основным понятиям и аксиомам?

Ну собственно системы доказательства теорем по заданным аксиомам раньше и назывались ИИ, до моды на черные ящики нейросетей.

_>Вновь же все упрется не в математику, а в лингвистику.

Ну а как мы учим компьютеры делать то, что требуется? У нас своя, программерская лингвистика и языки программирования.