  We formulate and prove the Lorentzian version of the positive mass theorems
with arbitrary negative cosmological constant for asymptotically AdS
spacetimes. This work is the continuation of the second author's recent work on
the positive mass theorem on asymptotically hyperbolic 3-manifolds.
