Матемаг
Речь о практическом применении теоремы о неполноте Гёделя, которая законами топичной Империи де-факто отрицается. Или же требуется принудительная жёсткая унификация аксиоматики и знаковых систем всех интегрируемых видов на уровне каждой особи, а не создание переводчиков-трансляторов для вида в целом...