26/07/29 21:53:49.62 oyJUr6vp.net
>>634
>ZFCに公理として追加するなら
>V=L
かなり同意
L：ゲーデルの構成可能宇宙 URLﾘﾝｸ(en.wikipedia.org)
（L is a standard inner model of ZFC、L is absolute and minimal）
が、もしかすると IUTには L＝Constructible_universe
は、狭すぎるかも
そこらも含めて
オープンな議論を希望します
そして、IUTの肯定的解決を望みます