Reducibility follows logically from the ramified hierarchy itself if one accepts that only predicati...
This proposition has not been edited since the history system was added.