ド・ブリュイン数は、純粋なラムダ計算における整数の表現方法を提供するもので、名前付き変数の代わりにゼロベースのド・ブリュインインデックスを使用します。特に、ネストされたド・ブリュインインデックスを用いて数値をエンコードし、代数的操作をサポートします。著者は、このエンコーディングが他の数値システムと比較して不十分であることを発見しましたが、数値の操作（例えば、後続関数「succ」や前続関数「pred」）の具体的な実装を紹介しています。一方で、ある条件を満たさないとこの数値系は他のシステムへ変換できないため、数値計算における実用性について疑問も呈しています。この結果、ド・ブリュイン数の有用性がどの程度かは議論の余地があるとされています。