Such constructive proofs can be turned into algorithms for use in numerical analysis, and they are the only sorts of proofs acceptable in constructive analysis.
そのような構成的証明は数値解析にも利用されるアルゴリズムと見なすことができ、またそれらは構成的解析において唯一受容できる証明の種類である。