Five Basic Concepts of Axiomatic Rewriting Theory