Объекты теории доказательств: основы математики