Без заголовка

>> Теории уже корректны, так как выведены по аксиоматике. сеть-то не "выводит по аксиоматике", а синтезирует "по образу и подобию", согласно своей "теории теорий", так что первые ее выходы скорее всего не пройдут пруфчекинг