 History The principle was first studied and adopted by the Russian school of constructivism, together with choice principles and often together with a realizability perspective on the notion of mathematical function.
<coherence>  History The principle was first studied and adopted by the Russian school of constructivism, together with choice principles and often together with a realizability perspective on the notion of mathematical function.