圏の代表例として、集合の圏Setsがある。 この圏は、圏という対象としては、ZFC上で扱えない。(なぜなら、集合全体Vは真のクラスとなるからである) すなわち、「これが、集合の圏である」とZFC上で述べることは出来ない。 しかし、集合全体は集合論の言語{}…