It aimed to substitute clear mathematical results for what were said to be vague, misplaced, crude foundational goals. But, as with his work on constructivity, Kreisel also sought to replace those by a more sophisticated stance about foundations.
Ito halangan malinaw na naglalayong sa matematika ng mga resulta para sa kung ano ang mga sinabi na maging malabo, misplaced, krudo foundational mga layunin. Ngunit, tulad ng sa kanyang trabaho sa constructivity, Kreisel din ang mga sought sa palitan sa pamamagitan ng isang mas sophisticated tindig tungkol sa komunidad.