Nobody can even catalog the set of all subsets of positive integers closed under addition (aka subsemigroups of the infinite  cyclic semigroup). See Repnitskii, Vladimir On subsemigroup lattices without nontrivial identities. Algebra Universalis 31 (1994), no. 2, 256–265.