1. Mikhailova N. V. System Synthesis of Modern Mathematic Foundation Programs. Minsk, 2008. (In Russ.)
2. Bessonov A. V.Gödel's second incompleteness theorem cannot be used as an argument against Hil-bert's program. The Bulletin of Symbolic Logic. 2018. Vol.24,no.2. P.235/236.
3. Bessonov A. V.Gödel's first incompleteness theorem cannot be used as an argument against Hilbert's program. The Bulletin of Symbolic Logic. 2019. Vol.25, no.3.P.268/269.
4. Zach R.Hilbert's Program then and Now. Handbook of Philosophy of Science. Vol.5. Philosophy of Logic. Amsterdam: Elsevier. 2006. P.411–447.