基数
数学において基数(きすう、cardinal number又はcardinal)とは、集合の濃度（ cardinality ）（大きさ、サイズ）を測るために定義された自然数の一般化である。有限集合の濃度つまり有限集合の要素の個数は自然数で表せられる。無限集合の濃度が一つではないことはゲオルグ・カントールによって示された。
基数は、集合論で活発に研究されている。また、組合せ論や抽象代数学、解析学を含めた数学の各分野の道具としても使われる。圏論では、基数は集合の圏の を形成する。
濃度は、集合論の創始者であるゲオルグ・カントールによって定式化された。濃度は、集合の一側面を比べるのに用いられる。例えば、{1, 2, 3} と {4, 5, 6} という集合は等しくない。しかし、（{1->4, 2->5, 3->6}という一対一の対応の存在によって確立された）3という同じ“濃度”を持っている。
カントールは、一対一対応という概念を無限集合に適用することで濃度を定義した。自然数全体からなる集合N との間に一対一対応が存在する集合を可算無限集合といい、可算無限集合は同じ基数formula_1(アレフ・ゼロ)を持つ。カントールは、このような無限集合に対応する基数を超限基数（transfinite cardinal）と呼んだ。
カントールは、直観に反するかもしれないが、N のいかなる非有界部分集合もN と同じ濃度を持つということを証明した。また、N の直積 N × N も可算無限であるということを証明した（これは有理数全体からなる集合が可算無限であることを直ちに導く）。また、後に代数的数全体からなる集合も可算無限であることも証明した。
カントールは1874年の論文において、Nの濃度より実数全体の集合の濃度のほうが真に大きいということを示すことによって、高階の基数が存在することを示した。彼の証明は、区間縮小法を用いた複雑な論法であった。しかし、1891年の論文では、同じ事を巧妙かつ簡潔な対角線論法という方法を用いて証明した。実数全体の集合に対応する新しい基数を、連続体濃度といい、カントールはformula_2という記号をそれに用いた。
カントールは基数の一般理論の大部分を発展させた。彼は最小の超限基数の存在を示した。また、いかなる基数についても、その次に大きい基数が存在することを示した。
彼が予想した連続体仮説は、formula_2 は formula_4 に等しい、という命題である。連続体仮説は、公理系から証明もその否定も証明できないという意味で、集合論の通常の公理系(ツェルメロ・フレンケルの公理系)から独立であることが示されている。
有限集合の要素の個数は自然数を使って数えることが出来る。自然数の個数を数える役割も「基数」と呼ばれる（対照的に順番を数える役割は序数と呼ばれる。基数詞と序数詞を参照）。通常数学では有限集合だけではなく無限集合が現れ、特に可算濃度と非可算濃度を区別することは大きな意味を持つ。このため有限集合の場合の自然数の一般化として無限集合の濃度についてもそれを表す「指標」として基数を定義したい。
集合の濃度の概念は全単射をもちいて定義される。2つの集合が等しい濃度を持つとは、その集合の間に全単射が存在することをいう。有限集合は必ずなんらかの自然数 "n" にたいし {0 ... "n"-1} との間に全単射が作れる事がわかり、有限集合の濃度の指標としては自然数を採用すればいいことが分かる。無限集合の場合は、振る舞いは複雑になってくる。例えば、有限集合の真部分集合と元の集合の濃度が等しくなり得ないのに対し、無限集合の真部分集合の濃度が元の集合の濃度と等しいということが起きる（デデキント無限も参照）。更にカントールが示したように無限集合の濃度には最大が存在ずいくらでも大きな濃度を構成することが出来る。
カントールは基数を濃度が等しい集合からなる同値類として素朴に定義した。しかし（ZFCなどの標準的な集合論では）この方法では基数を集合として扱うことは出来ず、また基数からなる集合やクラスを考えることは本質的に困難である。これを回避する方法はフォン・ノイマンやデイナ・スコットによって提示された。
（カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた）基数の最も古い定義は、集合全体からなるクラスを濃度による同値関係で割ったときの同値類としての定義である。つまり の濃度 は と一対一対応のつくであるすべての集合からなるクラスとして定義される。これは、ZFCや関連する集合論の公理系ではうまく機能しない。実際、 を空でない集合としたとき、集合 に を対応させる写像を考える事によって、宇宙から への単射が存在し、サイズの限界()より、 は真のクラスである。
任意の順序数 にたいし を満たす順序数 を（initial ordinal）という。このとき整列可能な集合 にたいし } を濃度 の始順序数という（ただし ON は順序数全体からなるクラス）。
始順序数を基数とし、整列可能な集合の濃度をその始順序数として定義する基数の定義をフォン・ノイマンの割り当てという。
正則性公理の元、任意のクラスにたいし画一的に（そのクラスの部分クラスとなるような）集合を割り当てる方法であるスコットのからくりを使うと、 整列可能とは限らない集合 に濃度として の代わりに集合を以下のように割り当てることが出来る（詳しくはを参照）。
このとき基数はある集合と濃度が等しい集合のうち階数が一番小さいもの全体からなる集合として定義される。
どのような定義を採用するにしろ2つの基数が等しいのは、それらの基数を濃度とするような集合の間に全単射が構成できるちょうどそのときである。整列可能な集合の濃度として表せる基数をアレフ数（aleph number）という。ここでは基数全体からなるクラスを formula_5 とかく。formula_5 は真のクラスである。
基数の間の大小関係を
と定義する
有限集合の濃度となる基数を有限基数といい、自然数 にたいし、 点集合の濃度を と書く。
無限集合の濃度となる基数を無限基数という。自然数全体からなる集合の濃度を formula_1 と書く（ formula_8 ）。実数全体からなる集合の基数を formula_2 などと書き（ formula_10 ）連続体濃度と呼ぶ。
以下、特に言及のないとき記事では選択公理を仮定する。
以下 、 は集合、 、 、 、 は基数とする。
以下で定義する演算は有限基数については自然数上のよく知られた演算と一致する。
を のハルトークス数（Hartogs number）という（これは濃度が より大きい最小の順序数と一致する）。 を の後続という。
を と の和という。
基数の加法について以下が成り立つ。
無限基数 と基数 にたいし、 のとき 。
を と の積という。
無限基数 と基数 にたいし、 のとき 。
を を底、 を指数とする冪という。
基数 、 にたいし、 を満たす は存在するとも一意的とも限らない。 が有限で が無限なら、 。
基数 、 にたいし、 を満たす は存在するとも一意的とも限らない。無限基数 にたいし } を の対数という。このとき 、。順序数 formula_13 にたいし、formula_13 番目のアレフ数を formula_15 と書く。より正確には formula_15 を以下のように超限再帰により定義する。
特にアレフ数の列 formula_21 のことをアレフ数と呼ぶこともある。アレフ数は必ずなんらかの formula_13 によって formula_15 と表せる。formula_15 の始順序数を formula_25 と書く。
順序数 formula_13 にたいし、formula_27 を以下のように超限再帰により定義する。
列 formula_32 ないし列上の基数をベート数（beth number）と呼ぶ。
を連続体仮説
を一般連続体仮説という。
この仮説はゲオルク・カントールによって予想された。ヒルベルトは彼の有名な23 の問題の第一番にこの連続体仮説を取り上げている。その後、クルト・ゲーデルは構成可能集合全体のクラス が一般連続体仮説をみたすことを示し、「ZFC からは一般連続体仮説の否定は証明できない」ことを証明した。ポール・コーエンは強制法と呼ばれる新しい手法を用いて連続体仮説が成り立たないモデルを構成し「ZFC から連続体仮説を証明できない」ことを証明した。これらの結果から（一般）連続体仮説の ZFC からの独立性が示され、連続体仮説は一応の解決を見た。コーエンはこの業績によりフィールズ賞を受賞している。
無限基数 がなんらかの基数 を使って と表せるとき を後続基数といい、} と表せるとき を（弱）極限基数という。後続基数でなければ極限基数である。極限基数 が を満たすとき強極限基数という、これは と同値。
無限基数 formula_35 が
を満たすとき正則基数、満たさないとき特異基数という。formula_15 が正則基数となることと formula_40 は同値。
正則な極限基数を弱到達不可能基数、正則な強極限基数を強到達不可能基数という。