Вдогонку: в конструктивной математике (в отличие от "конструктивной" в кавычках) мета-этаж вообще не выделяется. В этом просто нет смысла:

1) Математические суждения в рамках конструктивной установки столь же содержательны, сколь и метаматематические;

2) Метаматематические суждения представляют собой, по сути, математические высказывания, причём даже не очень высокой "степени сложности".

С уважением,
Гастрит

(Reply to this) (Parent)