 All the logicist accounts discussed so far dealt only with zero, successor, and “…is a natural number”. But there are important differences among them. It is not at all clear that constructive logicism has the same high consistency-strength of Frege Arithmetic. There appears to be no way to derive, within the constructive logicist system, an existence claim of the form 