Title: Elementary Induction on Abstract Structures (Study in Logic & Mathematics)