Л.Д. Беклемишев. Об открытых вопросах теории доказательств