No, a combinatory logic base can have any number of variables. However, in order to be able to solve problems with more than two variables, you need to use more than one base. For example, if you want to solve a problem with three variables, you would need to use two bases (one for each variable), and so on.