|
|
|
|
|
|
by ginnungagap
1198 days ago
|
|
|
This is routinely dealt with through Grothendieck universes. Those are a fancy name for what is pretty much an inaccessible level of the cumulative hierarchy, indeed ZFC+"every set belongs to a Grothendieck universe" is equiconsistent with ZFC+"there is a proper class of inaccessible cardinals". This is not a strong assumption over pure ZFC compared to those set theorists interested in large cardinals work with |
|
|