Работа посвящена следующим аспектам проблемы оснований математики:
- роль аксиом в математическом знании;
- роль доказательства в математическом знании;
- проблема следования правилу в математических вычислениях;
- процессы вычисления и логического вывода;
- проблемы противоречивости математического знания;
- проблемы математических понятий;
- отношение математики и логики и пр.