最終更新日:2024/08/04
Grothendieck universes are used in set theory to ensure the existence of large sets.
正解を見る
Grothendieck universes are used in set theory to ensure the existence of large sets.
編集履歴(0)
Grothendieck universes are used in set theory to ensure the existence of large sets.
Grothendieck universes are used in set theory to ensure the existence of large sets.