Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным препятствиям в его формализации из-за наличия различного рода трудно учитываемых смысловых различений. Показано, что интенсиональность свойственна дедуктивным теориям, в которых перевод формальных результатов в обыденный дискурс обеспечивает их значимость в каркасе, объединяющим как собственно математические, так и метаматематические результаты.