Intro Ref System Logics Inductive AxClass
