These systems can be compared in at least two different ways, depending on whether one's chief concern is to constructivize classical mathematics or, rather, to develop, on its own terms, a completely constructive mathematics.