An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds

We introduce several axiom systems for general relativity and show that they are complete with respect to the standard models of general relativity, i.e., to Lorentzian manifolds having the corresponding smoothness properties.