>>634
>ZFCに公理として追加するなら
>V=L

かなり同意
L：ゲーデルの構成可能宇宙 https://en.wikipedia.org/wiki/Constructible_universe
（L is a standard inner model of ZFC、L is absolute and minimal）

が、もしかすると IUTには L＝Constructible_universe
は、狭すぎるかも

そこらも含めて
オープンな議論を希望します
そして、IUTの肯定的解決を望みます