universe axiom 볼때부터 그냥 universe를 계속 늘리면 되니까 사이즈는 신경 쓸 필요 없는거 아닌가?같은 생각이 들면서도 뭔가 반칙같고 그랬는데, 그게 어느정도는 맞나보네(우주마다 다른 presheaf cat이 생기겠지만).

찝찝한 점은 무모순성이 ZFC랑 동치가 아닌거고

- dc official App