可算無限集合

可算無限集合（かさんむげんしゅうごう）とは、自然数との間に全単射が存在する（数え上げることができる、言い換えると、同じ基数または濃度をもつ）集合のこと。可算無限集合の基数を普通(アレフ・ゼロ、aleph-null)と書く。

整数や有理数も可算無限集合の一種である。 これに対して、実数は可算無限集合ではない。これは普通カントールの対角線論法によって示される。