ここまでで、自然数や集合論に関する諸々の概念を述べ、それらを集合として定義し、その存在を証明してきた。今回以降はこれらを使って、整数・有理数・実数を集合として定義し、集合論の言葉で使う準備を整える。