この項目では、集合論における基数 (cardinal)について説明しています。その他の用法については「基数 (曖昧さ回避)」をご覧ください。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "基数" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL（2015年2月）
アレフ・ゼロ、最小の無限基数

数学において基数（きすう、cardinal number または cardinal）とは、集合の濃度（cardinality、大きさ、サイズ）を測るために定義された自然数の一般化である。有限集合の濃度つまり有限集合の要素の個数は自然数で表される。無限集合の濃度が一つではないことはゲオルク・カントールによって示された。基数は、集合論で活発に研究されている。また、組合せ論や抽象代数学、解析学を含めた数学の各分野の道具としても使われる。圏論では、基数は集合の圏の骨格（英語版） を形成する。
歴史

濃度は、集合論の創始者であるゲオルク・カントールによって定式化された。濃度は、集合の一側面を比べるのに用いられる。例えば、{1, 2, 3} と {4, 5, 6} という集合は等しくない。しかし、（{1→4, 2→5, 3→6}という一対一の対応の存在によって確立された）3という同じ“濃度”を持っている。

カントールは、一対一対応という概念を無限集合に適用することで濃度を定義した。自然数全体からなる集合Nとの間に一対一対応が存在する集合を可算無限集合といい、可算無限集合は同じ基数 ℵ 0 {\displaystyle \aleph _{0}} （アレフ・ゼロ）を持つ。カントールは、このような無限集合に対応する基数を超限基数 (transfinite cardinal) と呼んだ。

カントールは、直観に反するかもしれないが、Nのいかなる非有界部分集合もNと同じ濃度を持つということを証明した。また、Nの直積N×Nも可算無限であるということを証明した（これは有理数全体からなる集合が可算無限であることを直ちに導く）。また、後に代数的数全体からなる集合も可算無限であることも証明した。

カントールは1874年の論文[1] において、Nの濃度より実数全体の集合の濃度のほうが真に大きいということを示すことによって、高階の基数が存在することを示した。彼の証明は、区間縮小法を用いた複雑な論法であった。しかし、1891年の論文[2] では、同じことを巧妙かつ簡潔な対角線論法という方法を用いて証明した。実数全体の集合に対応する新しい基数を、連続体濃度といい、カントールは c {\displaystyle {\mathfrak {c}}} という記号をそれに用いた。

カントールは基数の一般理論の大部分を発展させた。彼は最小の超限基数の存在を示した。また、いかなる基数についても、その次に大きい基数が存在することを示した。

彼が予想した連続体仮説は、 c {\displaystyle {\mathfrak {c}}} は ℵ 1 {\displaystyle \aleph _{1}} に等しい、という命題である。連続体仮説は、公理系から証明もその否定も証明できないという意味で、集合論の通常の公理系（ツェルメロ・フレンケルの公理系）から独立であることが示されている。
動機

有限集合の要素の個数は自然数を使って数えることが出来る。自然数の個数を数える役割も「基数」と呼ばれる（対照的に順番を数える役割は序数と呼ばれる。基数詞と序数詞を参照）。通常数学では有限集合だけではなく無限集合が現れ、特に可算濃度と非可算濃度を区別することは大きな意味を持つ。このため有限集合の場合の自然数の一般化として無限集合の濃度についてもそれを表す「指標」として基数を定義したい。

集合の濃度の概念は全単射をもちいて定義される。2つの集合が等しい濃度を持つとは、その集合の間に全単射が存在することをいう。有限集合は必ずなんらかの自然数 n にたいし {0 ... n-1} との間に全単射が作れることがわかり、有限集合の濃度の指標としては自然数を採用すればいいことが分かる。無限集合の場合は、振る舞いは複雑になってくる。例えば、有限集合の真部分集合と元の集合の濃度が等しくなり得ないのに対し、無限集合の真部分集合の濃度が元の集合の濃度と等しいということが起きる（デデキント無限も参照）。さらにカントールが示したように、無限集合の濃度には最大が存在せず、いくらでも大きな濃度を構成することが出来る。

カントールは基数を濃度が等しい集合からなる同値類として素朴に定義した。しかし（ZFCなどの標準的な集合論では）この方法では基数を集合として扱うことは出来ず、また基数からなる集合やクラスを考えることは本質的に困難である。これを回避する方法はフォン・ノイマンやデイナ・スコット[3] によって提示された。
定義
基数の厳密な定義

（カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた）基数の最も古い定義は、集合全体からなるクラスを濃度による同値関係で割ったときの同値類としての定義である。つまり X の濃度 | X | は X と一対一対応であるすべての集合からなるクラスとして定義される。これは、ZFCや関連する集合論の公理系ではうまく機能しない。実際、 X を空でない集合としたとき、集合 S に {S}×X を対応させる写像を考えることによって、宇宙から | X | への単射が存在し、サイズの限界 (en:Limitation of size) より、| X | は真のクラスである。
フォン・ノイマンの割り当て

任意の順序数 β に対し β < α ⇒ | β | < | α | を満たす順序数 α を始順序数 (initial ordinal) という[注釈 1]。このとき整列可能な集合 X に対して min{α∈ON :| α | = | X | } を濃度 | X | の始順序数という（ただし ON は順序数全体からなるクラス）。整列可能な集合の濃度をその始順序数として定義することをフォン・ノイマンの割り当てという。

このとき、順序数αに対して濃度。α |の始順序数がα自身であるならば、αは基数であるという。また、濃度が。α |に等しい集合Xについて、Xの基数はαであると言い、。X |=αと書く。
スコットのトリック

整列可能定理を仮定しない場合、以下の方法を用いて整列可能とは限らない集合 X に濃度として以下の集合を割り当てる（詳しくはスコットのトリックを参照）：| X | := {A : | A | = | X | かつ、任意の集合 B にたいし「| B | = | X | → rank( A) ≤ rank( B)」}

このとき基数はある集合と濃度が等しい集合のうち階数が一番小さいもの全体からなる集合として定義される。

どのような定義を採用するにしろ2つの基数が等しいのは、それらの基数を濃度とするような集合の間に全単射が構成できるちょうどそのときである。整列可能な集合の濃度として表せる基数をアレフ数（aleph number）という。ここでは基数全体からなるクラスを C N {\displaystyle \mathbb {CN} } とかく。 C N {\displaystyle \mathbb {CN} } は真のクラスである。
大小関係

基数の間の大小関係を

κ ≤ λ ⇔ 「X、Y が κ = | X | , λ = | Y | を満たすなら、X から Y への単射が存在する」

と定義する
有限基数と無限基数

有限集合の濃度となる基数を有限基数といい、自然数 n にたいし、n 点集合の濃度を n と書く。無限集合の濃度となる基数を無限基数という。自然数全体からなる集合の濃度を ℵ 0 {\displaystyle \aleph _{0}} と書く（ ℵ 0 = 。 N 。 {\displaystyle \aleph _{0}=|\mathbb {N} |} ）。実数全体からなる集合の基数を c {\displaystyle {\mathfrak {c}}} などと書き（ c = ℶ 1 = 。 R 。 = 。 2 N 。 {\displaystyle {\mathfrak {c}}=\beth _{1}=|\mathbb {R} |=|2^{\mathbb {N} }|} ）連続体濃度と呼ぶ。