>>681
>>>671
>完全性って言葉を連発してるけど、それぞれどういう意味？
>君、読んで理解したからコピペしたんだよね？　説明してみて

答える前に
ちょっと説明しておくが 私は
1）大体は 主張の根拠文典をURLとともに つけている
2）主張に係る部分は、URLより前に抜粋を添付して強調している
3）強調部分以外も 補強で引用している。引用は 著者と投稿時期などをつけている（通常論文と同様の作法）
4）強調部分以外は 流し読みのときもある。というか、真意は基本著者に直接聞け。私の回答はあくまで私の解釈だ

その上で
（付禄）
Vの存在状態
クラスVは数学の大部分の領域であると考えられるため、それが何らかの意味で「存在する」ことを立証することが重要です。存在は難しい概念であるため、通常は存在の問題を無矛盾性の問題、つまり概念に矛盾がないかどうかの問題に置き換えます。大きな障害となるのはゲーデルの不完全性定理であり、これはZF集合論自体が実際に無矛盾であるならば、ZF集合論自体の中でZF集合論の無矛盾性を証明することは不能であることを事実上意味します。[ 12 ]
フォン・ノイマン宇宙の完全性は、構成におけるランクパラメータとして機能する順序数の完全性と、順序数とフォン・ノイマン宇宙の両方が構築される超限帰納法の完全性に根本的に依存している。順序数構成の完全性は、フォン・ノイマンの1923年と1928年の論文に基づいていると言える。[ 13 ]超限帰納法によるVの構成の完全性は、その後、ツェルメロの1930年の論文で確立されたと言える。[ 5 ]
(引用終り)

ここな
・フォン・ノイマン宇宙の完全性は、多分 下記ゲーデルの完全性定理の意味だろう
・順序数の完全性は、想像だが カントールの順序数を その公理系からすべて導出可能ということだろう
・超限帰納法の完全性も、超限帰納法を使って 必要な定理が すべて導出可能ということだろう

なお、ゲーデルの不完全性定理の「完全」と、完全性定理の「完全」とは、意味が微妙に異なるとよく注意されることを指摘しておく

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86
ゲーデルの完全性定理（英: Gödel's completeness theorem、独: Gödelscher Vollständigkeitssatz）とは、一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う[1]。1929年にクルト・ゲーデルが証明した。