We study the sequence entropy for amenable group actions and investigate systematically spectrum and several mixing concepts via sequence entropy both in measure-theoretic dynamical systems and topological dynamical systems. Moreover, we use sequence entropy pairs to characterize weakly mixing and null systems in the topological sense.