Email Record: Constructive axiomatics for spacetime physics /