A large class of consistent and unconditionally stable discretizations of nonlinear boundary value problems is defined. The number of solutions to the discretizations is compared to the number of solutions of the continuous problem. We state conditions under which these numbers must agree for all sufficiently small mesh sizes. Various examples, including bifurcation problems, illustrate our theoretical results.