Theory of sets and classes and systems used in reverse mathematics