Sentence:  In order to <WSD>constructivize</WSD> a mathematical notion we consider its classical definition written in terms of the arithmetic of natural numbers. Then we relativize the existential quantifiers according to the following well known scheme. 
Meaning of the word marked with <WSD> tags:  To convert into a framework that is consistent with constructivism.