可数性公理
维基百科,自由的
encyclopedia
在数学相关领域,
可数性公理
是假定特定
数学对象
(通常是
范畴
的对象)存在特定性质的可数集的相关公理。没有这种公理,该可数集可能根本不存在。