Osterwalder–Schrader axioms