个物体；到下一个盒子，选择一个物体；如此类推。因为盒子数量有限，所以我们的选择过程最后一定会结束。这里给出的选择函数是明确的：第一个盒子对应于第一个选择的物体，第二个盒子对应于第二个选择物体；如此类推——此法之所以可行，是因为序对公理的原因。可以通过数学归纳法做出对所有有限集合的形式证明。
例子.对于特定的无限集合"formula_5"，也可以避免使用选择公理。例如，假设"formula_5"的元素是自然数的集合。每个自然数的非空集合都有一个最小元，所以要指定我们的选择函数，我们可