Class 13 is for numbers bigger than Church kleene ordinalblety, and smaller than erteviper.
All items (10)