e/Markov's principle

Information
has gloss	eng: Markovs principle, named after Andrey Markov Jr, is a classical tautology that is not intuitionistically valid but that may be justified by constructive means. There are many equivalent formulations of Markovs principle.
lexicalization	eng: Markov's principle
instance of	c/Mathematical principles