There is a different general program which does not seem to suffer the defects of [Hilbert 's] consistency program: To determine the constructive (recursive) content or the constructive equivalent of the non-constructive concepts and theorems used in mathematics, particularly in arithmetic and analysis.
Mayroong iba't-ibang mga pangkalahatang programa na hindi mukhang magtiis ng defects ng [Hilbert 's] consistency programa: Upang matukoy ang liwanag (recursive) ang nilalaman o ang katumbas ng liwanag ang mga di-nakabubuti concepts at theorems na ginamit sa matematika, lalo na sa arithmetic at pagtatasa.