The field of constructive reverse mathematics develops this idea further by classifying various principles in terms of "how nonconstructive" they are, by showing they are equivalent to various fragments of the law of the excluded middle.
Поле конструктивної реверсивної математики розгортає цю ідею, класифікуючи різні принципи, зважаючи на «ступінь їхньої неконструктивності», та показуючи, що вони еквівалентні різним фрагментах закону виключеного третього.