Математическая логика и основания математики. Теория доказательств