Weyl rejected impredicative set theory on conceptual grounds before formal ordinal hierarchies were ...
This proposition has not been edited since the history system was added.