在数学相关领域，可数性公理是假定特定数学物件（通常是范畴的物件）存在特定性质的可数集的相关公理。没有这种公理，该可数集可能根本不存在。
重要例子.一些拓扑空间中的重要例子包括
各空间之间的关系.这些公理有以下关系。