For citations:

Tselishchev V.V., Kostjakov A.O. COMPLETENESS OF LOGICAL AND MATHEMATICAL FORMAL SYSTEMS: TYPES AND SPECIFICS. Siberian Journal of Philosophy. 2018;16(1):5-19. (In Russ.) https://doi.org/10.25205/2541-7517-2018-16-1-5-19