不可達基數
外观
此條目需要擴充。 (2016年9月25日) 请協助改善这篇條目,更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 |
此條目没有列出任何参考或来源。 (2016年9月25日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。 |
在數學集合論中,不可達基數是一種不可數集的基数,當中此基數並不可透過比其更小之基數的基數算術法則運算而得到,由费利克斯·豪斯多夫在1908年引入。有些數學家並不要求不可達基數為不可數,而在此情況下甚小(在無窮意義上)的阿列夫數(其為可數),已經足以為不可達基數。
不可達基數的存在性,獨立於ZFC系統,因此在ZFC的骨架下,無法判斷不可達基數是否存在。若要加一公設以保證每一序數必有其不可達基數(i.e. 不可達基數公理),則ZFC系統會被轉為ZFCU系統。