The determination of the number of monotone Boolean Functions of variables is called Dedekind's problem.