Search results

...dexed by ordinals (and, when the class is unbounded, this puts it in class-bijection with the class of all ordinals). So we can freely speak of the <math>\gamm

| (up to a bijection); the same diagram, read in the category | h ~> <p h, q h> = <f, g> indicated in the diagram above is a bijection:

...nly if the extension of ''F'' and the extension of ''G'' can be put into [[bijection|one-to-one correspondence]]). Frege required Basic Law V to be able to give

...nly if the extension of ''F'' and the extension of ''G'' can be put into [[bijection|one-to-one correspondence]]). Frege required Basic Law V to be able to give