1 problem

Let $GenRel$ be the first-order axiom system for general relativity, let $AxSymTime^-$ denote the localized time-symmetry axiom, and let Lorentzian manifolds be the standard models…