この記事では、集合論の言葉を使って「個数」とは何か、「個数を数える (数え上げ)」とは何かを定義していく。そして、その定義を利用して高校数学で扱う「順列」や「組合せ」の個数を数える。

ここでは準備編の最終回および実践編の初回として、集合論の言葉 (ZFC集合論) でできることについておさらいする。とくに、準備編でどのようなモノ (集合) の存在が示されたかについて述べていく。