Определения должны содержать средства достижения решения в конечном числе с шагами, а доказательства существования должны проводиться, чтобы рассматриваемое количество можно было рассчитать с любой степенью точности.