Principe de Markov

Le principe de Markov, nommé d'après Andreï Markov Jr, est une déclaration d'existence conditionnelle pour laquelle il existe de nombreuses formulations, ainsi qu'il est discuté ci-dessous.

Ce principe est utilisé dans la validité logique classique, mais pas dans les mathématiques intuitionniste constructives. Toutefois, de nombreux cas particuliers sont prouvables dans un contexte constructif.