𝕏 LINE FB

选择公理

                    xuǎn zé gōng lǐ                

名詞（数学）

選択公理。空でない集合の任意の族に対して、各集合から一つずつ元を選び出す選択関数が存在するという公理。

📝 ZF 公理系から独立であり、これを加えた体系を ZFC と呼ぶ。

这个定理的证明依赖于选择公理。 (zhè ge dìng lǐ de zhèng míng yī lài yú xuǎn zé gōng lǐ.)

この定理の証明は選択公理に依存している。

选择公理与佐恩引理是等价的。 (xuǎn zé gōng lǐ yǔ zuǒ ēn yǐn lǐ shì děng jià de.)

選択公理とツォルンの補題は同値である。

有些数学家倾向于避免使用选择公理。 (yǒu xiē shù xué jiā qīng xiàng yú bì miǎn shǐ yòng xuǎn zé gōng lǐ.)

選択公理の使用を避けようとする数学者もいる。

⚖️ 類義語との比較

「良序定理」は選択公理と同値な命題であり、「选择公理」はその最も基本的な形の表現である。

生成: claude-opus-4-8 ／生成日: 2026/07/20 02:21 ／ v1 ／ ★★★☆ 高性能AI生成

🔗 「选择公理」を他の辞書で調べる (13件)