Метод математики: Логика и гносеология математических знаний