Принцип Маркова — один из основных принципов логики конструктивной математики, сформулированный в начале 1950-х годов А. А. Марковым. Известен также под названиями «ленинградский принцип» и «принцип конструктивного подбора». Представляет собой ослабленный вариант закона двойного отрицания. Формулировка принципа состоит в следующем: Способ построения искомого числа состоит в последовательном переборе натуральных чисел, начиная с нуля, причём на каждом шаге процесса посредством алгорифма устанавливается, обладает ли рассматриваемое число свойством . .
Принцип Маркова — один из основных принципов логики конструктивной математики, сформулированный в начале 1950-х годов А. А. Марковым. Известен также под названиями «ленинградский принцип» и «принцип конструктивного подбора». Представляет собой ослабленный вариант закона двойного отрицания. Формулировка принципа состоит в следующем: Способ построения искомого числа состоит в последовательном переборе натуральных чисел, начиная с нуля, причём на каждом шаге процесса посредством алгорифма устанавливается, обладает ли рассматриваемое число свойством . С использованием формальных языков конструктивной математической логики (например, ступенчатой семантической системы Маркова) принцип Маркова записывается следующим образом: .