Intro Ref System Logics Inductive AxClass