Before revision: Markov's principle , named after Andrey Markov Jr, is a conditional existence statement for which there are many equivalent formulations, as discussed below.
After revision: (also known as Leningrad's Principle)Markov's principle , named after Andrey Markov Jr, is a conditional existence statement for which there are many equivalent formulations, as discussed below.