Constructivise

Arguably, the latter was enabled to continue in a revitalised constructivised form rinsed clean of (apparent) responsibility for the excesses of eugenics.

This is a standard method that constructive mathematicians routinely apply in their constant struggle to constructivise classical mathematical theorems ([47], [83]).

However, the proofs of the more general classical result of Peano, stated below in a form suitable for constructive analysis, use sequential compactness and therefore cannot readily be constructivised.