Given any abstraction principle, we can define its abstracts as the appropriate equivalence classes and derive the principle from Basic Law V, using this definition. Basic Law V can thus be regarded as “the mother of all abstractions.” Given this single abstraction principle, all the others follow. But in 1902 disaster struck.
