> вообще модно использовать терминологию
угу, но в естественных науках она ещё и имеет денотат помимо имени, а в математике так и единственный (ну, когда не театры Ходжа и человек сам запутался).

то есть к богине Кали чат уже немного привязали (хотя непонятно, кормили ли его той книжкой про спецфункции, какой кормился мясной оригинал), а верификатора нет; у него внутри вообще модели мира нет никакой - надеюсь, это будет следующий шаг.