%0 Journal Article %T An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds %A Hajnal Andr¨¦ka %A Judit X. Madar¨˘sz %A Istv¨˘n N¨¦meti %A Gergely Sz¨¦kely %J Mathematics %D 2013 %I arXiv %X 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. %U http://arxiv.org/abs/1310.1475v1