Address some questions of the theory of the proof of the twentieth century, in connection with the themes of contemporary research