Buchholz's ID hierarchy

1. REDIRECT Theories of iterated inductive definitions

{{Redirect category shell|

{{R from move}}

}}