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

Вышибить из виртуальной головы собеседника устаревшие и бесполезные аксиомы и предикаты - это и есть сверхзадача, с которой так или иначе справляется Фанечка. За что я ее и лублю

А истинных, но не доказуемых формул, нет. Просто "систему высказываний" надо, как минимум, периодически апгрейдить, если поменять сцыкотно. Желательно, под протокол, с подписью уважаемых лиц, дабы избежать воплей "концепция рухнула" с обочины тракта.