>>628
>彼のいうZFCの宇宙はZFCで証明できる元しかない最小宇宙らしいので
>ただの宇宙ではないんでしょう
ZFCの公理は
置換公理が実際は公理のスキーマであり
述語すべてについて別々の公理ですが
それでもその論理式は可算個しかありません
証明は有限長なので
可算個の論理式から有限個を選んで
有限長の演繹によって結論を得るわけですので
その意味で得られる結果は可算個しかありませんから
彼の人の言う「証明可能宇宙」には可算個の元しかないのかも？
Vω0なのかな？
通常到達不能基数は非可算としますが
ω0もその条件以外の到達不能基数の条件を満たしているので
Vω0しか考えない立場も有り得るかも