> А в пользу КГ и АВ я один аргумент знаю,
> правда, он почему-то кажется
> убедитльным только мне - аксиома
> конструктивности imho вполне
> естественна, а из нее следует и то и
> другое.

Это разумно. Но противоречит интуиции
и другим вещам, например мысленному эксперименту с иголками.

Хотя лично мне конструктивный универсум кажется
самым простым способом построения оснований математики,
и отчасти самым разумным.

> Вообще-то разница между формально и
> неформально доказемо есть

Конечно. Формальное доказательство есть критерий
научности, один из нескольких. Вещи, формально
недоказуемые, могут быть верны, а формально
доказуемые - неверны. Нет никаких оснований
ожидать, например, что ZFC непротиворечива.

Такие дела
Миша