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