Ну так это его мнение, видите. Он считает, что ъ-конструктивное - только вот такое, но поскольку других критериев (кроме мнения математика), у нас нет, как я выше сказал, то такой подход ни чуть не хуже других. Хотите - используйте, вам нравится, а это в математике главное :)

Не надо только забывать, что и другие подходы тут тоже бывают (разным людям может нравиться разное :)), хотя бы исторически. Изначально никаких специальных формальных теорий для конструктивизма не было.