Counting finite index subgroups and the P. Hall enumeration principle