а что есть неконструктивная математика? Оо

общепринятая

закон исключенного третьего и прочие излишества типа аксиомы выбор

Конструктивная математика считает существующим только то, что можно найти, построить и всё такое.

ru.wikipedia.org/wiki/Ко...

ммм весьма ок