Theories for admissible sets, a unifying approach to proof theory | lit.salon