Skip to main content

In constructive mathematics, Markov's principle is the (classically trivial) statement that any infinite sequence of 0 and 1 that is not all 1s must have a 0 somewhere. (from nLab)

References
nLab