 An adequate theory of number would allow one to derive every instance of Schema  N;[47]  and the theory of constructive logicism does that. Tennant suggests that this constitutes a solution to the problem of the applicability of natural numbers in counting finite collections. 