スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)

>>263
集合論の宇宙をひとつの集合として扱うという圏論の考え方を実現するのにグロタン宇宙が必要。その存在はZFCと独立なため強到達不能基数公理が必須。
V,LはどちらもZFCのモデルであり圏論の基礎付けとは直接の関係は無い。